A free cross-platform editor for the DRAKON visual language.
A PlantUML editor written in Qt4
A modeling tool for software engineers (OO)
Java library implementing a state machine by the UML standard.
PetriNetExec a library for embedding Petri Nets into Java applications
XJML 1.0 is a platform for Verification and Validation of Java classes