GitHub repository: uniba-dsg/BPMNspector
Primary language: Java
Description: Static analysis for BPMN 2.0 process models.