Petri-Netze (PG)
Inhalt
Petri-Netze sind eine formale Sprache zur Modellierung und Ausführung von Prozessen. Das können technische Prozesse, Geschätsprozesse in der Betriebswirtschaft oder Workflows sein. Die besondere Stärke von Petri-Netzen ist ihre Möglichkeit zur mathematischen Analyse der modellierten Prozesse. Hier kommen Methoden der linearen Algebra und der linearen Programmierung zum Einsatz. Petri-Netz Sprachen umfassen verschiedene Dialekte. In der Vorlesung werden Stellen/Transitionsnetze behandelt. Diese Sprache ist mit einer general purpose Sprache wie C vergleichbar und dient allen anderen Petri-Netz Sprachen als Grundlage.
Zum Verständnis der Vorlesung sind Grundkenntnisse in Informatik erforderlich.
Personen
Die Vorlesung wird von
Dr. Joachim Wehler gehalten. Zu dieser Vorlesung findet keine Übung statt.
Termine
Montag 9-12 Uhr Vorlesung Raum 139, Oettingenstr.67
Literatur
Zur Vorlesung existiert ein
Skript (Postscript-Format).
- B. Baumgarten: Petri-Netze. BI-Wissenschaftsverlag Mannheim usw., 1990.
- W. Reisig: Petrinetze. Eine Einführung. Springer-Verlag, Berlin usw., 2. Auflage 1986.
- P. Starke: Analyse von Petri-Netz-Modellen. Teubner, Stuttgart, 1990.
- J. Desel, J. Esparza: Free choice Petri nets. Cambridge University Press, Cambridge 1995.
Lehrstuhl
Institut
Universität