Orsi, Maximiliano; Roa, Jorge (2015)
The verification of the behavior of business process models is an important requirement for Business Process Management. In this work, a verification tool based on behavioral anti-patterns for the verification of BPMN ...