VBPMN : Framework for the Verification of BPMN processes
科研组 : MoVeVBPMN supports formal modelling and automated analysis of business processes using formal verification tools. It features a web interface for comparing BPMN 2.0 models.
软件负责人 : Pascal POIZAThttps://pascalpoizat.github.io/vbpmn/