A StarUML C++ Module supporting incremental reverse engineering.
Provenance in NetLogo
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
Workflow Tool for Eclipse