All the tools we develop during our research are hosted on GitHub.
An editor for BPMN 2.0 choreography diagrams based on bpmn-js
GitHub | Paper
A resource organization and resource usage optimization platform
GitHub | Documentation
An execution engine for case management
A modeler for fragment-based case management
An event processing platform
An extensible BPMN process simulator
GitHub