Syntax tree editor for rapid annotation of existing text
Open-source code generator for Simulink/Stateflow
Petri net framework for security related modeling and reasoning.
Java library implementing a state machine by the UML standard.
PetriNetExec a library for embedding Petri Nets into Java applications