A free cross-platform editor for the DRAKON visual language.
A modeling tool for software engineers (OO)
A tool for visualization and analysis of logs as sequence diagrams
Synchronous Petri Nets' emulator
XJML 1.0 is a platform for Verification and Validation of Java classes