This script is made in Python by Frank Zeelen and Emiel van de Rijt. It can create a FSM-file (finite state model) containing the feasible state space from the output of the STS tool of Ma and Wonham. This file can be read in a program called Diagraphica made by H. Pretorius (Diagraphica). Also for the states which are eligible for an event an FSM file can be created. The states that are blocked for a certain event can also be stored in a FSM-file.
The script uses two files, the one contain functions
pySTS.py that are used in the other file
ProcessDotFilesV12.py. Both files need to be in the same directory as the output of the STS tool.
The file that must be called is
ProcessDotFilesV12.py. Follow the instructions on the screen and a fsm-file is created in the same folder.