Semantics of petri nets: A comparison

In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships between so called commutative processes representing collective token philosophy and individual process semantics of place/transition nets.

[1]  Jörg Desel,et al.  Petri Nets over Partial Algebra , 2001, Unifying Petri Nets.

[2]  Tomás Singliar,et al.  On Synchronicity and Concurrency in Petri Nets , 2003, ICATPN.

[3]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[4]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[5]  Wolfgang Reisig,et al.  Processes of Place/Transition-Nets , 1983, ICALP.

[6]  Gabriel Juhás,et al.  On Semantics of Petri Nets over Partial Algebra , 1999, SOFSEM.

[7]  Józef Winkowski,et al.  Behaviours of Concurrent Systems , 1980, Theor. Comput. Sci..

[8]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[9]  Julia Padberg,et al.  Classification of Petri Nets Using Adjoint Functors , 2001, Bull. EATCS.

[10]  Jörg Desel,et al.  ''What Is a Petri Net?'' , 2001, Unifying Petri Nets.

[11]  José Meseguer,et al.  Petri Nets Are Monoids , 1990, Inf. Comput..

[12]  Hans-Michael Hanisch,et al.  A Signal Extension for Petri Nets and its Use in Controller Design , 2000, Fundam. Informaticae.

[13]  Vladimiro Sassone,et al.  Petri Nets and Other Models of Concurrency , 1996, Petri Nets.

[14]  Gabriel Juhás,et al.  Reasoning about Algebraic Generalisation of Petri Nets , 1999, ICATPN.

[15]  Maciej Koutny,et al.  Structure of Concurrency , 1991, Theor. Comput. Sci..

[16]  Ugo Montanari,et al.  Contextual Petri Nets, Asymmetric Event Structures, and Processes , 2001, Inf. Comput..

[17]  Jörg Desel,et al.  Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra , 2001, UNIGRA.

[18]  Mark-Oliver Stehr,et al.  Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy , 2002, Fundam. Informaticae.

[19]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[20]  J. Grabowski,et al.  On partial languages , 1981, Fundam. Informaticae.

[21]  Walter Vogler.  Partial words versus processes: a short comparison , 1992, Advances in Petri Nets: The DEMON Project.

[22]  Wolfgang Reisig,et al.  Place or Transition Petri Nets , 1996, Petri Nets.

[23]  Jay L. Gischer,et al.  The Equational Theory of Pomsets , 1988, Theor. Comput. Sci..

[24]  Raymond R. Devillers,et al.  Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..

[25]  Astrid Kiehn.  On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets , 1988, J. Inf. Process. Cybern..

[26]  Maciej Koutny,et al.  Semantics of Inhibitor Nets , 1995, Inf. Comput..

[27]  Walter Vogler,et al.  An Improvement of McMillan's Unfolding Algorithm , 1996, Formal Methods Syst. Des..

[28]  Roberto Bruni,et al.  A Comparison of Petri Net Semantics under the Collective Token Philosophy , 1998, ASIAN.

[29]  G. Michele Pinna,et al.  On the Nature of Events: Another Perspective in Concurrency , 1995, Theor. Comput. Sci..

[30]  Roberto Bruni,et al.  Algebraic Models for Contextual Nets , 2000, ICALP.

[31]  Vladimiro Sassone,et al.  An Axiomatization of the Algebra of Petri Net Concatenable Processes , 1996, Theor. Comput. Sci..

[32]  Jonathan Billington,et al.  Application of Petri Nets to Communication Networks: Advances in Petri Nets , 1999 .

[33]  C. Petri.  Kommunikation mit Automaten , 1962 .

[34]  Neil D. Jones,et al.  A Precise Version of a Time Hierarchy Theorem , 1999, Fundam. Informaticae.

[35]  Vaughan R. Pratt,et al.  Modeling concurrency with partial orders , 1986, International Journal of Parallel Programming.

[36]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[37]  Józef Winkowski.  An Algebraic Description of System Behaviours , 1982, Theor. Comput. Sci..

[38]  Vladimiro Sassone,et al.  On the Algebraic Structure of Petri Nets , 2000, Bull. EATCS.

[39]  Walter Vogler,et al.  Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.

[40]  Jörg Desel,et al.  Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders , 2003, Electron. Notes Theor. Comput. Sci..

[41]  Fabio Gadducci,et al.  Axioms for Contextual Net Processes , 1998, ICALP.

[42]  Gabriel Juhás.  Are these events independent? It depends! , 2005 .

[43]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[44]  José Meseguer,et al.  Axiomatizing the algebra of net computations and processes , 1996, Acta Informatica.

[45]  Raymond R. Devillers.  The semantics of capacities in P/T nets , 1988, European Workshop on Applications and Theory in Petri Nets.

[46]  Peter Csaba Ölveczky,et al.  Rewriting Logic as a Unifying Framework for Petri Nets , 2001, Unifying Petri Nets.

[47]  Walter Vogler,et al.  Partial order semantics and read arcs , 1997, Theor. Comput. Sci..

[48]  Maciej Koutny,et al.  Process Semantics of P/T-Nets with Inhibitor Arcs , 2000, ICATPN.

[49]  Ekkart Kindler,et al.  The Dimensions of Petri Nets: The Petri Net Cube , 1998, Bull. EATCS.

[50]  Julia Padberg,et al.  Abstract Petri nets - uniform approach and rule-based refinement , 1996, Berichte aus der Informatik.

[51]  Kenneth L. McMillan,et al.  A technique of state space search based on unfolding , 1995, Formal Methods Syst. Des..

[52]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[53]  Vladimiro Sassone,et al.  An axiomatization of the category of Petri net computations , 1998, Mathematical Structures in Computer Science.

[54]  Hartmut Ehrig,et al.  Parameterized Net Classes: A Uniform Approach to Petri Net Classes , 2001, Unifying Petri Nets.

[55]  Francesca Rossi,et al.  Contextual nets , 1995, Acta Informatica.

[56]  Maciej Koutny,et al.  Process semantics of general inhibitor nets , 2004, Inf. Comput..

[57]  Joost Engelfriet,et al.  Elementary Net Systems , 1996, Applications and Theory of Petri Nets.

[58]  Jörg Desel,et al.  Process Semantics of Petri Nets over Partial Algebra , 2000, ICATPN.

[59]  Jonathan Billington,et al.  Application of Petri Nets to Communication Networks , 1999, Lecture Notes in Computer Science.

[60]  Maciej Koutny,et al.  On Causality Semantics of Nets with Priorities , 1999, Fundam. Informaticae.