VBPMN : Framework for the Verification of BPMN processes
https://pascalpoizat.github.io/vbpmn/

Forschungsgruppe : MoVe

VBPMN supports formal modelling and automated analysis of business processes using formal verification tools. It features a web interface for comparing BPMN 2.0 models.

Verantwortliche(r) : Pascal POIZAT
https://pascalpoizat.github.io/vbpmn/
Mentions légales
Plan