| Date | Topic | Script | Extras |
|---|---|---|---|
| April 5, 2006 | Motivation and informal introduction | pp. 3-9 | |
| April 12, 2006 | S/T-Systems, basic concepts | pp. 11-16 | |
| April 19, 2006 | Firing rule, reachability graph, unboundedness, coverability tree | pp. 17-21 | |
| April 26, 2006 | Coverability tree, characterization of unboundedness | pp. 22-28 | |
| May 3, 2006 | Cancelled (Studentenvollversammlung) | ||
| May 10, 2006 | Standard properties, PN and linear algebra | pp. 28-35 | |
| May 17, 2006 | State equation, place invariants, and boundedness | pp. 36-41 | |
| May 24, 2006 | Lecture starts at 12.00
(this time due to the Senatssitzung) Structural boundedness, transition invariants and deadlocks, rank theorem (overview only) |
pp. 41-43 (44) | |
| May 31, 2006 | Rank theorem and free choice nets (overview only) Siphons and Traps |
pp. 44-49 | |
| June 7, 2006 | Siphons, Traps and Deadlocks Variants of Petri nets |
pp. 49-54 | |
| June 14, 2006 | Variants of Petri nets, Concurrency | pp. 55-56 | |
| June 21, 2006 | High-level nets, Worflow theory | 57-75 | Workflow theory article |
| June 28, 2006(??) | Cancelled: Due to the International Conference on Theory and Application of Petri Nets | ||
| July 5, 2006 | Workflow constructs Modelling Algorithms with High-level nets |
75-79, DAWN Memo (German), Extra slides | Article 1, Article 2 |
| July 12, 2006 | Modelling Algorithms Summary |
||
| Date | Assignments | Solutions | Extras |
|---|---|---|---|
| April 12 | Tutorial 1 | Solutions (in German) | |
| April 26 | Tutorial 2 | Solutions (in German) | |
| May 10 | Tutorial 3 | Solutions (in German) | |
| May 24 | Tutorial 4 | Solutions (in German) | |
| June 07 | Tutorial 5 | Solutions (in German) | |
| June 21 | Tutorial 6 | Solutions (in German) | |
| July 5 | Tutorial 7 | Solutions (in German) |