Maximova, M., Ehrig, H. and Ermel, C. (2012) “Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors”, Electronic Communications of the EASST, 51. doi: 10.14279/tuj.eceasst.51.758.