Advanced Course: Petri Nets 1986

(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

Acknowledgement: The information on this page was contributed by Hendrik Jan Hoogeboom