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]

Authors

Said Meghzili

This author has not been identified. Look up 'Said Meghzili' in Google

Allaoua Chaoui

This author has not been identified. Look up 'Allaoua Chaoui' in Google

Martin Strecker

This author has not been identified. It may be one of the following persons: Look up 'Martin Strecker' in Google

Elhillali Kerkouche

This author has not been identified. Look up 'Elhillali Kerkouche' in Google