P. Baldan, A. Corradini, F. Gadducci, and U. Montanari, “From Petri Nets to Graph Transformation Systems”, eceasst, vol. 26, Apr. 2010.