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 BibTeX

Volume II

Informal Introduction to Petri Nets

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

Basic Classes

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

Analysis and Synthesis

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

Relationship to Other Models

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