Bewerbungen
1. Sicherheit von Petri-Netzen (Dienst / Welt ) Sicherheit bei beschränkten Netzen, Finden von Unsicherheitssituationen, graphische Darstellung 2. Überdeckbarkeitsgraphen (Grinsteyn / Kubilius)
3. Netzüberdeckungen durch Zustandsmaschinen (Tag/Hrushchak/Kongtso)
4. Petri-Netz-Sprachen (Thalheim/Löwe)
5. Schaltwerke (Gottwald / Gwizdziel , Schwald / Müller
/ Degner, Dienelt / Lehmann / Rabe)
6. Konflikte (Eckert / Güttler , Dasso / Sosnicki , Koch/Weißenborn)
7. Hierarchische Petri-Netze (Dasso / Sosnicki , Dienelt / Lehmann
/ Rabe)
Entsprechend dem Aufgabenumfang können mehrere Student(inn)en eine
Aufgabe bearbeiten.
Letzter Abgabetermin: Ende Wintersemester 2003/04
|
Projektdokumentation
Gliederung
Pflichtenheft
Gliederung
Spezifikation
Graphische
Tools
Bearbeitungsstatus
bisheriger Projekte