User Tools

Site Tools


wonham:processdotfilesv12

A Python script for translating STS output (BDD) into fsm-files

Info

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.

How to use

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.

Download

wonham/processdotfilesv12.txt · Last modified: Wednesday, 24 October 2007 : 15:47:58 (external edit)