Bachelor Seminar - Petrinetze (WS14/15)

News | Inhalt | Bewertung | Zeitplan | Material

Dieses Seminar baut auf dem Buch Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien von Wolfgang Reisig auf.
Das Buch ist nur als Einstieg zu verstehen, für einen tiefer gehenden Einstieg verweisen wir auf das sehr gute Buch von Priese/Wimmel "Petri-Netze".

Zu den Themen werden wir entsprechende Literatur bereitstellen und auch Buchkapitel kopieren.
Als Grundlage zu allen Themen wird erwartet, dass Kapitel 1-3 des Buches von Reisig durchgearbeitet werden.

1. Semantik (sequenzielle/parallele Abläufe, Traces)
2. Erweiterungen (Kapazitäten, Gewichte, Farben, Inhibitorkanten,...)
3. Synthese
4. Lineare Algebra Methoden zur Analyse (Markierungsgleichung, Invarianten, Fallen+Siphons)
5. Grahbasierten Analysemethoden (Markierungsgraph, Überdeckbarkeitsgraph)
6. Erreichbarkeit (evtl. auch nur für Teilklassen)
7. Free-Choice Petri-Netze
8. Petri-Netz Sprachen
9. Petri-Netz berechenbare Funktionen
10. Anwendungen: Protokollanalyse, Workflows
11. Stochastische Petri-Netze