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

> Research article (International Journal of Software Innovation, 2019) · cited 15× · AI/ML

**Wikidata**: [openalex:W2991359911](https://www.wikidata.org/wiki/openalex:W2991359911)  
**Source**: https://4ort.xyz/entity/an-approach-for-the-transformation-and-verification-of-bpmn-models-to-colored-petri-nets-models