Login / Signup
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories.
Maria Maximova
Hartmut Ehrig
Claudia Ermel
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
</>
petri net
discrete event systems
graph transformation
reactive systems
petri net model
distributed systems
complex systems
manufacturing systems
genetic algorithm
information processing
learning experience
formal methods
colored petri nets