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 2024 Nov. 21];51. Available from: https://eceasst.org/index.php/eceasst/article/view/1967