21st International Conference on Application and Theory of Petri Nets
Aarhus, Denmark, June 26-30, 2000
Introductory Tutorial
Monday June 26 and Tuesday June 27, 2000
The aim of this introductory tutorial is to give an overview over some of
the basic concepts from net theory and to illustrate how Petri Nets can be
used to model and analyse systems.
The tutorial can be followed by people who have no or limited experience
with Petri nets. It can also be followed by people who already have solid
knowledge of Petri nets. This can, e.g., be 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 the areas they are presenting.
Monday
| 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 I (cont.)
by Grzegorz Rozenberg |
| 11.30-12.00 |
Place/Transition Nets I
by Jörg Desel |
| 12.00-13.30 |
Lunch break |
| 13.30-14.30 |
Place/Transition Nets I (cont.)
by Jörg Desel |
| 14.30-15.00 |
Coffee break |
| 15.00-16.30 |
High-level Nets I
by Kurt Jensen |
| 16.30-17.00 |
Coffee break |
| 17.00-18.00 |
High-level Nets II
by Kurt Jensen |
|
Tuesday
| 9.00-10.30 |
Elementary Net Systems II
by Grzegorz Rozenberg |
| 10.30-11.00 |
Coffee break |
| 11.00-12.00 |
Place/Transition Nets II
by José Manuel Colom |
| 12.00-14.00 |
Lunch break |
| 14.00-15.00 |
Timed and Stochastic Nets
by Gianfranco Balbo |
| 15.00-15.30 |
Coffee break |
| 15.30-16.30 |
Introduction to GSPNs
by Gianfranco Balbo |
|
Last modified: Thu Jun 15 10:48:50 2000
URL: www.daimi.au.dk/pn2000/intro_tutorial.html
|
pn2000@daimi.au.dk
|