Introductory tutorial on Petri Nets
The aim of the introductory tutorial was to give an overview of some of the basic concepts from net theory and to illustrate how Petri Nets can be used to model and analyse systems. The tutorial was designed to be followed by people who have no or limited experience with Petri nets. It may also have been useful for people who already have a solid knowledge of Petri nets, e.g., practitioners who want to know more about the theoretical background, or theoreticians who want to know more about the practical use of high-level nets and timed and stochastic nets.
All the lecturers are well-known within the Petri net community and among the leading experts within their areas. The schedule is shown below.
Monday (24 June 2002)
| Time | Topic |
|---|---|
| 9:00-9:30 | Informal Introduction to Petri Nets by Wolfgang Reisig |
| 9:30-10:30 | Elementary Net Systems I by Grzegorz Rozenberg |
| 10:30-11:00 | Coffee break |
| 11:00-11:30 | Elementary Net Systems II by Grzegorz Rozenberg |
| 11:30-12:30 | Place/Transition Nets I by Jrg Desel |
| 12:30-14:00 | Lunch |
| 14:00-14:30 | Place/Transition Nets II by Jrg Desel |
| 14:30-15:30 | Stochastic Petri Nets I by Gianfranco Balbo |
| 15:30-16:00 | Coffee break |
| 16:00-17:30 | High Level Nets I by Sren Christensen |
Tuesday (25 June 2002)
| Time | Topic |
|---|---|
| 9:00-10:30 | Elementary Net Systems III by Grzegorz Rozenberg |
| 10:30-11:00 | Coffee break |
| 11:00-12:30 | Place/Transition Nets III by Jrg Desel |
| 12:30-14:00 | Lunch |
| 14:00-15:00 | Stochastic Petri Nets II by Gianfranco Balbo |
| 15:00-15:30 | High Level Nets II by Sren Christensen |
| 15:30-16:00 | Coffee break |
| 16:00-17:30 | High Level Nets III by Sren Christensen |