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]

Authors

Maria Maximova

This author has not been identified. Look up 'Maria Maximova' in Google

Hartmut Ehrig

This author has not been identified. Look up 'Hartmut Ehrig' in Google

Claudia Ermel

This author has not been identified. It may be one of the following persons: Look up 'Claudia Ermel' in Google