Petrinetze

DozentK. Reinhardt
SprechstundeNach Vereinbarung, Raum 004, Sand 13
ZeitMontags 16-18
Umfang2 + 0
Beginn1. Semesterwoche
Vorbesprechungkeine
OrtMorgenstelle N8
Turnusunregelmäßig
PrüfungsfachTheoretische Informatik

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. Reisig, W.: Petrinetze, Eine Einführung. Springer-Verlag, 1985 (zweite Auflage: Springer-Verlag 1991)
  3. Reutenauer, C.: The Mathematics of Petri-nets. Masson and Prentice Hall, 1990
  4. Starke, P.: Analyse von Petri-Netz-Modellen. Teubner, 1990


1999-10-14 Klaus Reinhardt (reinhard@informatik.uni-tuebingen.de)