An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche. An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. IJSI, 8(1):17-49, 2020. [doi]