Ankündigung für das Sommersemester 2001
|
Petri-Netze: Von Theorie zu Praxis (03-691)
|
Mo. 9.00 - 12.15 Uhr, MZH 5300
Vorlesungsbeginn:
09.04.2001
Dr. Sofie Czernik (WWW)
Peter Knirsch
Sprechstunde: Montag 13-14 Uhr
MZH 3170
Telefon 218 2935
|
Der Prüfungszeitraum ist vom 30. Juli bis 3. August 2001 und vom 27. bis 31. August 2001. Die Terminabsprache ist persönlich oder per Email möglich.
Die Übungsblätter sind hier erhältlich.
Der relevante Fragenkatalog ist hier als ps-File und hier als pdf-File erhältlich.
Die Entwicklung der Petrinetztheorie wird von Anfang an bis heute durch die Anforderungen der Praxis bestimmt. Dies trifft
insbesondere dann zu, wenn eine formale Beschreibung von diskreten, verteilten
Systemen notwendig ist. Deswegen erstrecken sich heute die Anwendungen
vorwiegend auf die Bereiche Spezifikation sowie rechnerunterstützte
Modellierung und Analyse von Systemen.
Die Veranstaltung richtet sich an Studierende
im Hauptstudium, die Interesse an der Anwendung von Petrinetzen haben.
Die dafür notwendige Theorie wird mit vielen
erklärenden Beispielen eingeführt und vertieft.
In Übungen werden dann die Kenntnisse über Netztypen und Analysemethoden durch ausgewählte Fallstudien gefestigt.
|
|
Literatur:
- Baumgarten, Bernd (1996): Petri-Netze. Grundlagen und Anwendungen. Spektrum Akad., ISBN: 3827401755
- Reisig, Wolfgang (1986): Petrinetze. Eine Einführung. Zweite Auflage. Springer Verlag.
- Reisig, Wolfgang (1998): Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets. Springer Verlag.
- Reisig, Wolfgang (1985): Systementwurf mit Netzen, Springer Verlag.
- Reisig, Wolfgang (1992): A Primer in Petri Net Design, Springer Verlag.
Zu den Übungen hier entlang...
|
|