DESwiz is a discrete event system tool for working with finite state automata and other systems. It has been designed as proof-of-concept for academic works in theoretical computer science developed at Inria (Rennes, France) and Mount Allison University (Sackville, Canada).
Before using the application:
- Make sure you have Python 3.11 installed, as well as tkinter (which is typically bundled with python)
- If you want to visualize the graphs, the following is also necessary:
- Install the graphviz python module using
pip install graphviz - Download and install Graphviz. Make sure to add Graphviz to your PATH.
- For Windows users, select "Add Graphviz to the system PATH for all users" option in the installer.
- For mac users with Homebrew installed , simply do
brew install graphvizto install it with all dependencies.
- Install the graphviz python module using
Run the application in the main directory as follows:
python3 ./main.pyFollow the on-screen instructions to interact with the command-line interface. Note that you will need input automata to provide the application—these should all be in separate files which you will need to load into the application after launch.
Input for the program must be specified correctly in a text file, which is then passed into the program. For information on how to create the text file, see input specification.
- Composing two automata with union and product operations
- Determinizing an automaton
- Verifying the JSON for an automaton to ensure it is a valid automaton, based on the specification here.
- Creation of an arena, as per Leaking Secrets (Ricker, Marchand, & Keroglou, 2019).
- An interface to allow the user to work with the software.
- Performing the supervisory control algorithm on an arena with pre-defined bad states.