User Tools

Site Tools


wonham:processdotfilesv12

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

wonham:processdotfilesv12 [Wednesday, 24 October 2007 : 15:47:58] (current)
Line 1: Line 1:
 +====== 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 ([[http://​www.win.tue.nl/​~apretori/​diagraphica/​index.html|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:​processdotfiles_v12.zip|:​wonham:​processdotfiles_v12.zip}}
wonham/processdotfilesv12.txt · Last modified: Wednesday, 24 October 2007 : 15:47:58 (external edit)