- No limitation in the number of states and transitions that can be used to build a machine.
- Machines created match closely the specifications of "State Machines" as described in SysML or in UML.
- Provides consistency information such as multiple transitions firing from the same state.
- Timed events.
- Fully supported on Open-source platforms such as Linux, FreeBSD ..., and on Windows.
Sunday, November 8, 2015
FInite State Automata library
Initial release of a library that allows the modeling and the simulation of State Machines or Petri Nets:
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment