Course material prepared by Aimo Törn in the Spring 1998 for a course on Petri Nets at the Computer Science Department of Åbo Akademi University and TUCS Turku, Finland. The course is based on the books listed in the Abstract.

© A. Törn. Must not be reproduced verbatim or by editing, or used for giving a course without permission from the author.

PART 1: Petri Net Modeling
PART 2: Petri Net Theory
PART 3: Model Validation

PART 1: Petri Net Modeling

1. Introduction
   
   1. What is a system?
      
   2. How to model a system
      
   3. Modeling with Petri Nets
      
   4. A modeling case study
      
   5. The Petri Net Graph
      
   6. The Petri Net Structure
      
   7. Petri Net analysis
      
   8. Petri Net execution (simulation)

2. Modeling primitives
   
   1. "Queues" and inhibitor arcs
      
   2. Some other primitives
      
   3. Hierarchical modeling
      
   4. Petri Nets with time
      
   5. Vending machine revisited
      
   6. SimNet, a model checking tool

3. Modeling case studies
   
   Producer/consumer
   Traffic lights
   Mutual exclusion

4. Other Petri Nets models

5. Analysis of Petri Nets
   

6. A seat-reservation system