2. Überdeckbarkeitsgraphen  (Grinsteyn / Kubilius)
Konstruktion und Darstellung des Graphen, Edition und Simulation von Netz und Anzeige im Graphen 

3. Netzüberdeckungen durch Zustandsmaschinen (Tag/Hrushchak/Kongtso)
Auswahl, Darstellung und Test von Überdeckungen

4. Petri-Netz-Sprachen (Thalheim/Löwe)
Auswahl und Akzeption von Wörtern, freie terminale und nichtterminale Sprachen, graphische Darstellung

5. Schaltwerke (Gottwald / Gwizdziel , Schwald / Müller / Degner, Dienelt / Lehmann / Rabe)
Graphischer Editor von Schaltwerken mit auswählbaren Schaltelementen, Transformation  in Petrinetz, 
Simulation von Schaltung und Petrinetz

6. Konflikte (Eckert / Güttler , Dasso / Sosnicki , Koch/Weißenborn)
Erkennen von Konfliktsituationen in gegebenen Petrinetzen, Konfliktlösungen, Netzsimulation

7. Hierarchische Petri-Netze (Dasso / Sosnicki , Dienelt / Lehmann / Rabe)
Graphische Darstellung hierarchischer Netze, Verhaltenssimulation, Dekomposition

Entsprechend dem Aufgabenumfang können mehrere Student(inn)en eine Aufgabe bearbeiten.
Zunächst ist ein Pflichtenheft zu erarbeiten. Nach Abnahme des Pflichtenheftes kann das Projekt 
begonnen werden. Im Ergebnis des Projektes ist eine Dokumentation anzufertigen, die Gegenstand
der Gesamtabnahme (Projektprüfung) sein wird. Dabei sind die Richtlinien für Pflichtenheft und 
Dokumentation zu beachten (siehe unten).

Letzter Abgabetermin:  Ende Wintersemester 2003/04