Generator for textual models by applying different techniques
Java library implementing a state machine by the UML standard.
Utility functionalities for simple Xml usage in Java
PetriNetExec a library for embedding Petri Nets into Java applications
Uses GraphViz to draw UML class diagrams
XJML 1.0 is a platform for Verification and Validation of Java classes