M. Maximova, H. Ehrig, and C. Ermel, “Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories”, eceasst, vol. 40, Aug. 2011.