Übung:
keine

Hörerkreis:
Studierende im Grundstudium der Informatik
Studierende mit Nebenfach Informatik

Voraussetzungen:
Stoff des Informatik-Grundstudiums

Inhalt:
Petri-Netze sind verallgemeinerte Transitionssysteme, mit denen sich verteilte Systeme und parallele (nebenläufige) Prozesse sowohl anschaulich als auch formal sehr gut beschreiben und analysieren lassen. Sie werden in der Praxis (insbesondere auch von Ingenieuren) sehr viel eingesetzt.

In der Vorlesung werden behandelt: Sowohl einfache Anwendungsbeispiele als auch die Anfänge der formalen Theorie (die für die Entwicklung von Verfahren zur Computer-gestützen Analyse und Verifikation von Computer Hard- und Software und von technischen Systemen benötigt wird). Ferner einige Verallgemeinerungen.

Anbei eine Kurzzusammenfassung der Vorlesung.

Literatur:
J. Desel Struktur und Analyse von Free-Choice-Petrinetzen. Deutscher Universitäts-Verlag, 1992.

J. Desel und J. Esparza Free Choice Petri Nets. Cambridge Tracts in Theor. Comp. Sci. 40, 1995.

B. Baumgarten. Petri-Netze: Grundlagen und Anwendungen. Spektrum Akademischer Verlag 1996.

K. Schmidt. Analyse von Petrinetz-Modellen. Vorlesungsskript (Schwerpunkt: Modelchecking), HU Berlin, SS 1998, SS 1999.

W. Reisig. Petrinetze: Eine Einführung. Springer 1986.

W. Reisig. Elements of Distributed Algorithms -- Modeling and Analysis with Petri Nets. Springer 1998.

P. Starke. Analyse von Petri-Netz-Modellen. Teubner 1990.

Sprechstunde:
nach Vereinbarung.