Generator for textual models by applying different techniques
Configurable Object Oriented Rapid Application Development system
A tool for parametric model checking of UPPAAL models.
PetriNetExec a library for embedding Petri Nets into Java applications
vipera is an application designer for Python
Workflow Tool for Eclipse
AgilPro is an Eclipse based business process modeling suite