Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Toolkit for agent-based & dynamic microsimulation modelling
A multi-modeling and simulation environment to study complex systems
Prototype editor for the SDEM Mapping Language
PetriNetExec a library for embedding Petri Nets into Java applications