Petrinetze, Vorlesung und Übung, Bereich SWT, SS 2004

Diese Lehrveranstaltung ist für den zweiten und dritten Studienabschnitt geeignet.

Klausurnoten

Die Klausur ist inzwischen korrigiert. Die Noten zur Klausur hängen im Schaukasten gegenüber von Raum E 3.346 aus. Eine Einsicht in die Klausur ist nach Vereinbarung jederzeit möglich; insbesondere in den Sprechstunden am Donnerstag, dem 5. Aug. und am Donnerstag, dem 12. August von 9.00 - 10.00 Uhr.

Die Noten der Teilnehmer, die einer Veröffentlichung ihrer Note im Internet zugestimmt haben, finden Sie hier.

Vorlesung

Mo   9-11 Uhr, B1 (Beginn 19. Apr.)

Übung

Mo 11-13 Uhr, D2, 14-tägig (Beginn 3.  Mai)

Dozent

Ekkart Kindler (mailto:kindler@uni-paderborn.de), Raum E3.167

Voraussetzungen

Stoff des Informatik-Grundstudiums.

Inhalt

Mit Hilfe von Petrinetzen lassen sich verteilte Systeme modellieren, analysieren und verifizieren. Die Stärken von Petrinetzen sind ihre einfache und dennoch formale Semantik, ihre anschauliche graphische Notation und die vielfältigen Techniken zur Analyse und Verifikation.

Die Vorlesung bietet eine anwendungsorientierte Einführung in die Theorie der Petrinetze. Es werden verschiedene Varianten von Petrinetzen, verschiedene Modellierungstechniken und Techniken zur Analyse und Verifikation vorgestellt.

Das Verständnis wird in der Übung durch die Anwendung der in der Vorlesung vorgestellten Theorie vertieft.

Unterlagen

Unterlagen zur Vorlesung und Übung werden auf der Seite http://www.upb.de/cs/kindler/Lehre/SS04/PN/unterlagen.html bereit gestellt.

Außerdem gibt es ein Skript zur Vorlesung, das im SS 2002 entstanden ist. Der Schwerpunkt der Vorlesung wird im SS 2004 jedoch etwas anders gesetzt sein.

Literaturauswahl

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.