Advanced Course: Petri Nets 1996: Dagstuhl, Germany

Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Lecture Notes in Computer Science 1491 Springer 1998, ISBN 3-540-65306-6

Volume II

Informal Introduction to Petri Nets

• Wolfgang Reisig, Grzegorz Rozenberg: Informal Introduction to Petri Nets. 1-11

Basic Classes

• Grzegorz Rozenberg, Joost Engelfriet: Elementary Net Systems. 12-121
• Jörg Desel, Wolfgang Reisig: Place or Transition Petri Nets. 122-173
• Einar Smith: Principles of High-Level Net Theory. 174-210
• Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli: Petri Nets in Performance Analysis: An Introduction. 211-256

Analysis and Synthesis

• Jörg Desel: Basic Linear Algebraic Techniques for Place or Transition Nets. 257-308
• Manuel Silva, Enrique Teruel, José Manuel Colom: Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. 309-373
• Javier Esparza: Decidability and Complexity of Petri Net Problems - An Introduction. 374-428
• Antti Valmari: The State Explosion Problem. 429-528
• Eric Badouel, Philippe Darondeau: Theory of Regions. 529-586

Relationship to Other Models

• Mogens Nielsen, Vladimiro Sassone: Petri Nets and Other Models of Concurrency. 587-642
• P. S. Thiagarajan, Jesper G. Henriksen: Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. 643-681