Maximova, M.; Ehrig, H.; Ermel, C. Transfer of Local Confluence and Termination Between Petri Net and Graph Transformation Systems Based on M-Functors. eceasst 2012, 51.