M. Maximova, H. Ehrig, and C. Ermel, “Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors”, eceasst, vol. 51, Nov. 2012.