Petrinetze

Beschreibung:
Mit der zunehmenden Tendenz zu parallelen Berechnungen gewinnt auch die Frage nach der formalen Beschreibung und Analyse des Verhaltens von nichtsequentiellen Systemen an Bedeutung. Petrinetze bieten hierbei eine gute graphischen Anschaulichkeit: Die Stellen (passive Komponenten) werden als Kreise, die Transitionen (aktive Komponenten) als Rechtecke und die Flussrelation als Pfeile zwischen diesen dargestellt. In der Vorlesung werden die Platz-Transitionssysteme von C.A. Petri und ihre äquivalente Beschreibung als Verktoradditionssysteme und das automatentheoretische Pendant vorgestellt. Entscheidungsfragen wie Erreichbarkeit und Unbeschränktheit werden untersucht.

Voraussetzungen:
Vordiplomskenntnisse aus Informatik III

Literatur:

1. Baumgarten, B.: Petrinetze, Grundlagen und Anwendungen. BI-Wiss.-Verl., 1990
2. Priese, Wimmel: Theoretische Informatik Petrinetze Springer, 2003
3. Reisig, W.: Petrinetze, Eine Einführung. Springer-Verlag, 1985 (zweite Auflage: Springer-Verlag 1991)
4. Reutenauer, C.: The Mathematics of Petri-nets. Masson and Prentice Hall, 1990
5. Starke, P.: Analyse von Petri-Netz-Modellen. Teubner, 1990

Übungsblätter

Aufgabenblatt 1
Aufgabenblatt 2
Aufgabenblatt 3