OPBUS Tool
Victor
MARTIN
Combis-BP
Compliance Validation and Diagnosis
Guiding the creation of Choreographed Processes
Integrating Stored Data in Business Process Models
ConformanceChecking4Spark
Github repository: https://github.com/IDEA-Research-Group/conformancechecking4spark
ARTist
dmn4spark
