Place or Transition Petri Nets

This contributions provides an introduction to the theory of place/transition Petri nets. Topics include the sequential and the concurrent behavior of place/ transition Petri nets, marking graphs and coverability trees, and some analysis techniques that are based on the structure of place/transition Petri nets.

[1]  Ursula Goltz.  On condition/event representations of place/transition nets , 1987 .

[2]  Grzegorz Rozenberg,et al.  Concurrency and Nets , 1987, Springer Berlin Heidelberg.

[3]  Eike Best,et al.  Nonsequential Processes: A Petri Net View , 1988 .

[4]  Wilfried Brauer,et al.  Net Theory and Applications , 1980, Lecture Notes in Computer Science.

[5]  Dirk Taubner,et al.  On the Implementation of Petri Nets , 1988, European Workshop on Applications and Theory of Petri Nets.

[6]  Javier Esparza,et al.  The mathematics of Petri Nets , 1990 .

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  Kurt Jensen.  Formal Analysis of Coloured Petri Nets , 1996 .

[9]  Matthias Jantzen.  Complexity of Place/Transition Nets , 1986, Advances in Petri Nets.

[10]  Kurt Lautenbach.  Linear Algebraic Techniques for Place/Transition Nets , 1986, Advances in Petri Nets.

[11]  Jörg Desel,et al.  Basic Linear Algebraic Techniques for Place or Transition Nets , 1996, Petri Nets.

[12]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[13]  Kurt Jensen.  An Introduction to the Practical Use of Coloured Petri Nets , 1996, Petri Nets.

[14]  Wolfgang Reisig.  Place/Transition Systems , 1986, Advances in Petri Nets.

[15]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[16]  M. Nielsen,et al.  Decidability Issues for Petri Nets , 1994 .

[17]  Wolfgang Reisig,et al.  Petri Nets: Central Models and Their Properties , 1986, Lecture Notes in Computer Science.

[18]  S. Rao Kosaraju,et al.  Decidability of reachability in vector addition systems (Preliminary Version) , 1982, STOC '82.

[19]  Jörg Desel,et al.  P/T-systems as abstractions of C/E-systems , 1990, European Workshop on Applications and Theory in Petri Nets.

[20]  Javier Esparza,et al.  Decidability and Complexity of Petri Net Problems - An Introduction , 1996, Petri Nets.

[21]  Rüdiger Valk,et al.  Formal Properties of Place/Transition Nets , 1979, Advanced Course: Net Theory and Applications.

[22]  Wolfgang Reisig,et al.  Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986 , 1987, Advances in Petri Nets.

[23]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[24]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[25]  Ernst W. Mayr.  An Algorithm for the General Petri Net Reachability Problem , 1984, SIAM J. Comput..

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