A cross-platform integrated CASE system
Open-source code generator for Simulink/Stateflow
Declarative PageObject description
Workflow control and configuration java framework
Petri net framework for security related modeling and reasoning.
Generator for textual models by applying different techniques
PetriNetExec a library for embedding Petri Nets into Java applications
Workflow Tool for Eclipse
An ecosystem for model-driven engineering on the JavaEE platform.