Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories

Maria Maximova, Hartmut Ehrig, Claudia Ermel. Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories. ECEASST, 40, 2010. [doi]

Abstract

Abstract is missing.