• Tool for the verification of BPMN models based on anti-patterns 

    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 ...