The category of typed graph grammars and its adjunctions with categories of derivations

This publication has 10 references indexed in Scilit:

• Axiomatizing net computations and processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Abstract graph derivations in the double pushout approach
  Published by Springer Nature ,1994
• Static and Dynamic Semantics of Entity—Relationship Models Based on Algebraic Methods
  Published by Springer Nature ,1994
• Relationships between Models of Concurency
  DAIMI Report Series, 1993
• Petri nets are monoids
  Information and Computation, 1990
• Tutorial introduction to the algebraic approach of graph grammars
  Published by Springer Nature ,1987
• Petri Nets
  Published by Springer Nature ,1985
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• Parallelism and concurrency of graph manipulations
  Theoretical Computer Science, 1980
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976