Maximova, M.; Ehrig, H.; Ermel, C. Formal Relationship Between Petri Net and Graph Transformation Systems Based on Functors Between M-Adhesive Categories. ECEASST 2011, 40.