# Verifying SysML activity diagrams using formal transformation to Petri nets

> Research article (Systems Engineering, 2019) · cited 41× · AI/ML

**Wikidata**: [openalex:W2982973022](https://www.wikidata.org/wiki/openalex:W2982973022)  
**Source**: https://4ort.xyz/entity/verifying-sysml-activity-diagrams-using-formal-transformation-to-petri-nets