Termine

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


letzte Änderung: Mittwoch, 26. April 2000
farwer@informatik.uni-hamburg.de