General Mission Analysis Tool
MathMod is a mathematical modeling software
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