Return to Article Details Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories Download Download PDF