Return to Article Details Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques Download Download PDF