Specification of Concurrent Systems: from Petri Nets to Graph Grammars

We first review some aspects of Place/Transition Petri nets, which are the basis of their success as a specification formalism for con-current and distributed systems. In particular, we summarize some re-sults concerning the truly-concurrent semantics of safe nets, stressing the fruitful use of categorical techniques.

[1]  Ugo Montanari,et al.  Axiomatizing net computations and processes , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[2]  José Meseguer,et al.  On the Semantics of Petri Nets , 1992, CONCUR.

[3]  Hartmut Ehrig,et al.  An Event Structure Semantics for Safe Graph Grammars , 1994, PROCOMET.

[4]  Michael Löwe,et al.  An algebraic framework for the transformation of attributed graphs , 1993 .

[5]  Glynn Winskel,et al.  Relationships between Models of Concurency , 1993 .

[6]  Hartmut Ehrig,et al.  An Event Structure Semantics for Graph Grammars with Parallel Productions , 1994, TAGT.

[7]  S. Lane.  Categories for the Working Mathematician , 1971 .

[8]  Marek Antoni Bednarczyk,et al.  Categories of asynchronous systems , 1987 .

[9]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[10]  Hans-Jörg Kreowski,et al.  Is parallelism already concurrency? Part 1: Derivations in graph grammars , 1986, Graph-Grammars and Their Application to Computer Science.

[11]  Hartmut Ehrig,et al.  The Category of Typed Graph Grammars and its Adjunctions with Categories , 1994, TAGT.

[12]  Grzegorz Rozenberg,et al.  Petri nets and their relation to graph grammars , 1982, Graph-Grammars and Their Application to Computer Science.

[13]  Georg Schied.  On Relating Rewriting Systems and Graph Grammars to Event Structures , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[14]  Ugo Montanari,et al.  A model for distributed systems based on graph rewriting , 1987, JACM.

[15]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[16]  Joseph A. Goguen,et al.  A categorical manifesto , 1989, Mathematical Structures in Computer Science.

[17]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[18]  Hartmut Ehrig,et al.  Tutorial introduction to the algebraic approach of graph grammars , 1986, Graph-Grammars and Their Application to Computer Science.