Advanced Course: Petri Nets 1986

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. Lecture Notes in Computer Science 254 Springer 1987, ISBN 3-540-17905-4 BibTeX

(Part II)

Prologue

• C. A. Petri: Concurrency Theory. 4-24 BibTeX

Section 1: Elementary Net Systems - Fundamentals

• P. S. Thiagarajan: Elementary Net Systems. 26-59 BibTeX
• Grzegorz Rozenberg: Behaviour of Elementary Net Systems. 60-94 BibTeX
• César Fernández: Non-sequential Processes. 95-115 BibTeX

Section 2: Place/Transition Systems - Fundamentals

• Wolfgang Reisig: Place/Transition Systems. 117-141 BibTeX
• Kurt Lautenbach: Linear Algebraic Techniques for Place/Transition Nets. 142-167 BibTeX
• Eike Best: Structure Theory of Petri Nets: the Free Choice Hiatus. 168-205 BibTeX

Section 3: High-Level Nets - Fundamentals

• Hartmann J. Genrich: Predicate/Transition Nets. 207-247 BibTeX
• Kurt Jensen: Coloured Petri Nets. 248-299 BibTeX
• Gérard Memmi, Jacques Vautherin: Analysing Nets by the Invariant Method. 300-336 BibTeX

Section 4: Special Topics

• Ursula Goltz: Synchronic Distance. 338-358 BibTeX
• Gérard Berthelot: Transformations and Decompositions of Nets. 359-376 BibTeX
• Rüdiger Valk: Infinite Behaiour and Fairness. 377-396 BibTeX
• Matthias Jantzen: Language Theory of Petri Nets. 397-412 BibTeX
• Matthias Jantzen: Complexity of Place/Transition Nets. 413-434 BibTeX

Section 5: Other Petri Net Models

• Gérard Roucairol: FIFO-Nets. 436-459 BibTeX
• Anastasia Pagnoni: Stochastic Nets and Performance Evaluation. 460-478 BibTeX