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