Analyse von Petrinetzmodellen (SE)
Prof. Dr. Matthias Weidlich
Petrinetze werden zur Modellierung verteilter Systeme verwendet. Zustandsänderungen in einem Petrinetz-Modell werden verstanden als Erzeugen und Vernichten von Ressourcen (statt des sonst üblichen Lesens und Schreibens von Variablen). Dadurch ergeben sich interessante algorithmische Analysemöglichkeiten, die in diesem Seminar vorgestellt werden.
| Zeit | We 13-15 |
| Raum | RUD 25, 4.112 |
| Agnes | 3313016 |
| Studiengang | Monobachelor Informatik |
| Empfohlene Vorkenntnisse |
Module "Modellierung und Spezifikation" oder "Software Engineering" |
| Einführung |
Themen, Literatur und Termine
| Nr | Thema | Literatur (Einstieg) | Vortragende | Datum |
|---|---|---|---|---|
| 1 | Spezielle Netzklassen | Starke: "Analyse von Petri-Netz-Modellen", Kap. 14, und Desel, Esparza: "Free Choice Petri Nets", Kap. 3 und 4.1 | Yannick Börner | 6.11.19 |
| 2 | Strukturelle Deadlocks und Fallen | Starke: "Analyse von Petri-Netz-Modellen", Kap. 14, und Desel, Esparza: "Free Choice Petri Nets", Kap. 4.2 und 4.3 | ||
| 3 | Der Überdeckbarkeitsgraph | Starke: "Analyse von Petri-Netz-Modellen", Kap. 5, und Schmidt: "Model-Checking with Coverability Graphs" | ||
| 4 | Platz- und Transitionsinvarianten | Starke: "Analyse von Petri-Netz-Modellen", Kap. 11 | ||
| 5 | Verteilte Abläufe | Reisig: "Petrinetze", Kap. 4.4 und 4.7 | ||
| 6 | Regionentheorie | Desel, Reisig: "The Synthesis Problem of Petri Nets." und Cortadella et al: "Deriving Petri Nets from Finite Transition Systems" | Tim Brückner | 13.11.19 |
| 7 | Symmetrien | Karsten Schmidt: "How to calculate symmetries of Petri nets" | Valentin Gogoll | 13.11.19 |
| 8 | Partial Order Reduction / Stubborn Sets | Antti Valmari: "The State Explosion Problem", Kap. 7.4 | Enrico Ahlers |
|
| 9 | Unfoldings | McMillan: "Symbolic Model Checking", Kap. 6, und Esparza et al: "Model Checking Using Net Unfoldings" | ||
| 10 | Beweisgraphen | Reisig: "Elements of distributed Algorithms", Kap. VIII | ||
| 11 | High-Level-Petrinetze | Reisig: "Petri Nets and Algebraic Specifications.", Reisig: "Petrinetze" und Reisig: "Elements of distributed Algorithms", Kap. III | Hoai Ngoc Ho | 20.11.19 |
| 12 | Zeit und Petrinetze | Starke: "Analyse von Petri-Netz-Modellen", Kap. 17,18,19 | Malte Polley |
11.12.19 |
| 13 | Stochastische Petrinetze | Falko Bause und Pieter S Kritzinger "Stochastic Petri Nets - An Introduction to the Theory" | ||
| 14 | Workflow-Netze | W.M.P. van der Aalst: "Verification of Workflow Nets" | Glenn Dittmann | 27.11.19 |
| 15 | High-level Invarianten | Reisig: "Petrinetze - Modellierungstechnik, Analysemethoden, Fallstudien" Kap. 13 | ||
| 16 | CPN-Tools | http://cpntools.org | ||
| 17 | Vergleich von Werkzeugen für die Modellierung und Analyse | http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/ | ||
| 18 | Die Sweep-Line-Methode für Petrinetze | Karsten Schmidt: "Automated generation of a progress measure for the sweep-line method" | Florian Heinrichs | 4.12.19 |
| 19 | Analyse von BPMN-Modellen |
Remco M. Dijkman , Marlon Dumas , Chun Ouyang: "Formal Semantics and Analysis of BPMN Process Models using Petri Nets"
|
||
| 20 | Komposition von Petrinetzen | Reisig: "Simple Composition of Nets" | ||
| 21 | Szenario-basierte Spezifikation mit Petrinetzen | D. Fahland: "Oclets - scenario-based modeling with Petri nets.", D. Fahland, R. Prüfer: "Data and Abstraction for Scenario-Based Modeling with Petri Nets" | ||
| 22 | Petrinetze und formale Sprachen |
Matthias Jantzen: "Language theory of Petri nets"
|
||
| 23 | Stabile Ungleichungen in Petrinetzen |
M. Triebel, J. Sürmeli: "Characterizing Stable Inequalities of Petri Nets"
|
||
| 24 | Verfeinerung in Petrinetzen |
W. Brauer, R. Gold, W. Vogler: "A survey of behaviour and equivalence preserving refinements of petri nets"
|