Seminar im SoSe 2005
18.412 Petrinetze

   Michael Duvigneau, Daniel Moldt

2st. Do 10 - 12 C-221
Lernziel:
Kennenlernen des Gebietes, Erlernen der Benutzung theoretisch fundierter Methoden. Durch das Bearbeiten und Lesen von Originalartikeln soll der Umgang mit wissenschaftlicher Literatur geübt werden. Gleichzeitig gewinnt der/die Studierende einen Einblick in die Richtungen und Ideen, die in der Theorie und Anwendung der Petrinetze untersucht werden. Kennenlernen formaler Methoden im Zusammenhang mit Petrinetzen.
Inhalt:
Verschiedene Aspekte (höherer) Petrinetzformalismen werden anhand von Einzelvorträgen erarbeitet. Das Spektrum unfaßt u.a. aktuelle Arbeiten zu den Themen:
  • Varianten der Schaltregel
  • Netzklassen
  • Algorithmische Probleme
  • Algebraische Erweiterungen von Petrinetzen
  • Petrinetze und logische Kalküle (z.B. Prädikaten-Transitions-Netze)
  • Petrinetze und der Begriff der Zeit
  • Dynamische Petrinetzstrukturen / Netze in Netzen
Stell. im Studienplan:
Hauptstudium, Vertiefungsgebiete A1, A2, P1, P2, P3, P4, P5, P9, Th1, Th2, Th3, Th4, T1; Schwerpunkte IM, INE, OSE, SEM, VIS, WV
Voraussetzungen:
Vordiplom
Vorgehen:
Einführung durch den Veranstalter, dann Eigenstudium und Vorbereitung der Seminarvorträge und Tischvorlagen bzw. kleiner Seminarausarbeitungen auch in Kleingruppenarbeit. Gestaltung des Seminartermins durch Vortrag und Diskussion, auch unter Leitung der Teilnehmer(innen). Studierende nach der neuen Studienordnung können in dieser Veranstaltung einen Seminarschein erlangen.
Literatur:
W.Reisig: Petrinetze, Eine Einführung (Springer-Verlag, 1986),
K.Jensen: Coloured Petri Nets (EATCS-Monographs, 1992),
F. Bause/P.S.Kritzinger: Stochastic Petri Nets (vieweg, 1996).
Weitere Literatur wird in der Veranstaltung bekanntgegeben.
Periodizität:
jährlich zum SS
Eignung:
Geeignet für Lehramtsstudierende, Nebenfachstudierende.
Stichworte:
Komplexität, Algebraische Methoden, Logik, Petrinetze