Maximova M, Ehrig H, Ermel C. Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. ECEASST [Internet]. 2012 Nov. 21 [cited 2025 May 15];51. Available from: https://eceasst.org/index.php/eceasst/article/view/1967