A cross-platform integrated CASE system
an Open Source BPMN 2.0 / DMN 1.1 Modeler
Write, check, index and diagram Z specifications in Microsoft Word.
Modeling tool supporting UML, BPMN and other standards
Toolkit for agent-based & dynamic microsimulation modelling
Live Music Compositor learning base on TPG
Repository for dependencies between software design artefacts
Provenance in NetLogo
Prototype editor for the SDEM Mapping Language
PetriNetExec a library for embedding Petri Nets into Java applications