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

(Part II)

Prologue

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

Section 1: Elementary Net Systems - Fundamentals

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

Section 2: Place/Transition Systems - Fundamentals

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

Section 3: High-Level Nets - Fundamentals

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

Section 4: Special Topics

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

Section 5: Other Petri Net Models

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