In recent years BPMN 2.0 became a de facto standard in business process modeling and beyond and nowadays represents one of the focal technologies which support Business Process Management (BPM) initiatives. The in-use version of the specification, namely BPMN 2.0, was released by OMG in 2011, with some minor changes in the following years. In …