Return to Article Details From Petri Nets to Graph Transformation Systems Download Download PDF