https://123dok.net/document/y4wme729-automatic-verification-of-bpmn-models.html