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
Java graph library
Petri net framework for security related modeling and reasoning.
Generator for textual models by applying different techniques
Prototype editor for the SDEM Mapping Language
PetriNetExec a library for embedding Petri Nets into Java applications
Visualize Galois sub-hierarchy of 2d matrix