# On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL

> Research article (2017 IEEE International Conference on Information Reuse and Integration (IRI), 2017) · cited 12× · AI/ML

**Wikidata**: [openalex:W2769090014](https://www.wikidata.org/wiki/openalex:W2769090014)  
**Source**: https://4ort.xyz/entity/on-the-verification-of-uml-state-machine-diagrams-to-colored-petri-nets-transformation-using-isabelle-hol