General Mission Analysis Tool
Framework & GUI for Bayes Nets and other probabilistic models.
Predictive Microbial Modeling plug-in for KNIME
Editor for Petri nets
Synchronous Petri Nets' emulator
DSOL: A Distributed Simulation Object Library implemented in Java
Java graph/network library