Maximova, Maria, Hartmut Ehrig, and Claudia Ermel. “Transfer of Local Confluence and Termination Between Petri Net and Graph Transformation Systems Based on M-Functors”. Electronic Communications of the EASST 51 (November 21, 2012). Accessed October 22, 2024. https://eceasst.org/index.php/eceasst/article/view/1967.