Die Themen und Termine werden in den ersten Veranstaltungen vergeben.
Datum | Thema |
5.4.2000 | Vorbesprechung |
12.4.2000 | Gefärbte Petrinetze I (von S/T-Netzen zu einfachen gefärbten Netzen) |
19.4.2000 | Gefärbte Petrinetze II (Eigenschaften, formale Definitionen) |
27.4.2000 | Gefärbte Petrinetze (Forts.) und Fallstudie: Einsatz von CPN für größere Projekte |
2.-4.5.2000 | Workshop SBC2000 |
11.5.2000 | Objekt-Petrinetze (die Idee der Petrinetze als Marken in einem Umgebungsnetz) |
18.5.2000 | Referenznetze |
25.5.2000 | Hierarchische-Petrinetze |
1.6.2000 | HIMMELFAHRT |
8.6.2000 | Zeit-Petrinetze |
15.6.2000 | PFINGSTFERIEN |
22.6.2000 | Prädikaten/Transitions-Netze (Pr/T-Netze) (klassische Logik als Beschriftungsaprache für Petrinetze) |
29.6.2000 | Linear-Logische-Petrinetze |
6.7.2000 | |
13.7.2000 | Nachbesprechung |