Seminar über "Petrinetze"

Beschreibung: 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

Zeit: Blockveranstaltung am Ende des SS 2006 (nach Vereinbarung). Termine: 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 Einordnung: B/D Sonstiges: Weitere Termine und Informationen werden rechtzeitig im WWW angekündigt werden.

Literatur

• R. Devillers, E. Best, M. Koutny, Petri net algebra, Springer-Verlag, 2001.
• C. Reutenauer, Mathematics of Petri Nets, Prentice Hall, 1990.
• W. Reisig, G. Rozenberg, (Ed.), Lectures on Petri Nets I: Basic Models, LNCS Bd. 1491, Springer-Verlag, 1986.
• M. Reisig, Petri-Nets, Springer-Verlag, Berlin, 1986.
• J.L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice Hall, 1981.
• W. Vogler, Modular Construction and Partial Order Semantics of Petri Nets, Springer-Verlag, 1992.