Maximova, Maria, et al. “Formal Relationship Between Petri Net and Graph Transformation Systems Based on Functors Between M-Adhesive Categories”. Electronic Communications of the EASST, vol. 40, Aug. 2011, doi:10.14279/tuj.eceasst.40.628.