Verschiedene Aspekte (höherer) Petrinetzformalismen werden anhand von Einzelvorträgen erarbeitet. Das Spektrum unfaßt u.a. aktuelle Arbeiten zu den Themen:

• Petrinetze und logische Kalküle (z.B. Prädikaten-Transitions-Netze, Linear-Logische-Petrinetze)
• algebraische Erweiterungen von Petrinetzen
• Petrinetze und der Begriff der Zeit
• dynamische Petrinetzstrukturen
• Netze in Netzen

Lernziele:

• Erarbeiten aktueller wissenschaftlicher Forschungsthemen;
• Halten eines Vortrags mit anschließender Diskussion;
• Kennenlernen formaler Methoden im Zusammenhang mit Petrinetzen.

Stellung im Studienplan:

Hauptstudium
Vertiefungsgebiete Th 1, Th3, Th4
sowie als theoretische Vertiefung zu P1, P2, P3, P4, P5, P9 und T1
Fae  

Voraussetzungen:

Grundstudium-, Grundkenntnisse zu Petrinetzen (z.B. aus Modelle für Rechensysteme oder TGP)
 

Vorgehen:

Vortrag von Originalarbeiten durch einzelne Studierende oder Kleingruppen nach Betreuung durch den Veranstalter. Zusätzlich wird die Ausarbeitung einer schriftlichen Zusammenfassung angeregt.
 

Literatur:

• W. Reisig: Petrinetze, Eine Einführung, Springer-Verlag, 1986
• Weitere Literatur wird in der Veranstaltung bekanntgegeben.

Periodizität:

jährlich zum Sommersemester