Petri net framework for security related modeling and reasoning.
Java graph library
Simulador de Redes de Petri Interpretadas para Controle
A tool for automatically generating UML database diagrams.
C++ inline state machine library
Repository for dependencies between software design artefacts
A graphical editor for PlantUML diagrams.
Synchronous Petri Nets' emulator
SINVAS(StarUML NS) is re-developed by StarUML developers in Qt.
Simplie tool for analysis small angle X-ray data.