an Open Source BPMN 2.0 / DMN 1.1 Modeler
Open-source code generator for Simulink/Stateflow
Java library implementing a state machine by the UML standard.
Prototype editor for the SDEM Mapping Language
PetriNetExec a library for embedding Petri Nets into Java applications