Baldan, P.; Corradini, A.; Gadducci, F.; Montanari, U. From Petri Nets to Graph Transformation Systems. eceasst 2010, 26.