Return to Article Details Implementing Petri Net Transformations using Graph Transformation Tools Download Download PDF