A graphical editor for PlantUML diagrams.
Synchronous Petri Nets' emulator
SINVAS(StarUML NS) is re-developed by StarUML developers in Qt.
The easiest C++ way to deal with constraints !
Provenance in NetLogo
Knowledge-Based Simulation
Java library implementing a state machine by the UML standard.