Varró-Gyapay, S. Optimization in Graph Transformation Systems With Time Using Petri Net Based Techniques. eceasst 2012, 51.