Framework & GUI for Bayes Nets and other probabilistic models.
Component, CA, and CCA models; superdense time, ETL DB, testing, etc.
Group of multi-purpose Java-converted-from-C# parsing libraries.
Visual & persistent families of models for CA, DEVS, and Statecharts
Petri net framework for security related modeling and reasoning.
Bio Medical Framework (BMF)
Command Centre