Varro-Gyapay, S.; Varro, D. Optimization in Graph Transformation Systems Using Petri Net Based Techniques. eceasst 2007, 2.