Cell-DEVS modelling
Modelling and simulation methodologies based on the DEVS (Discrete Event Specification) formalism. Public domain software available, running in centralized/distributed environments.