zum Inhalt springen

Seminar über Petrinetz-Theorie

Anhand einzelner Textbuchkapitel und Originalarbeiten sollen Inhalte der Vorlesung im WS05/06 vertieft und weiterführende Fragestellungen behandelt werden. (Einige) mögliche Grobthemen sind:

  • Weiterführende Komplexitätsaspekte in Petrinetzen
  • Petrinetzsprachen und ihre Semantik
  • Prozessalgebren
  • Beispiele für Petrinetzmodellierungen in Produktionsprozessen

Termine: Blockveranstaltung am Ende des SS 2006 (nach Vereinbarung). Vorbesprechung am 24. Februar 2006, 11.00 - 12.00 Uhr, Pohligstr. 1, Raum 616. In diesem Rahmen werden auch die Themen vergeben. 

Scheinbedingung: Ausarbeitung eines Referats samt Vortrag von ca.60 min Länge

Literatur:

  • Devillers, R.; Best, E.; Koutny, M.: Petri net algebra. Springer-Verlag, 2001.
  • Reutenauer, C.: Mathematics of Petri Nets. Prentice Hall, 1990.
  • Reisig, W.; Rozenberg, G. (Ed.): Lectures on Petri Nets I: Basic Models. LNCS Bd. 1491, Springer-Verlag, 1986.