Höhere Modellierungskonzepte und -algorithmen
Diese Seite enthält Material und zusätzliche Informationen
zur Vorlesung "Höhere Modellierungskonzepte und -algorithmen" (64-371) im
Sommersemester 2013.
Termine: Donnerstags, 10-12.
Das Modul "Modellierung verteilter Systeme (MVS)" unterteilt sich in
die Vorlesungen "Modelle von Petrinetzen" am Dienstag, "Höhere
Modellierungskonzepte und -algorithmen" am Donnerstag sowie
dem Praktikum "Modellierung verteilter Systeme" am Donnerstag. Die
Teile sind jeweils in sich abgeschlossen, so dass Studenten des
Diplomstudiengangs wahlweise auch nur eine der Veranstaltungen
besuchen können.
Inhalt
In diesem Modul werden die Systemeigenschaften
verteilter Systeme exemplarisch am Modell der Petrinetze studiert.
-
Grundlagen von P/T Netzen
-
Der überdeckungsgraph
-
Varianten des Erreichbarkeitsproblems
-
Äquivalenz des Erreichbarkeits- und des Lebendigkeitsproblems
-
Entscheidbarkeit des Erreichbarkeitsproblems
-
"Gleichheit von Erreichbarkeitsmengen ist unentscheidbar."
-
"Bisimilarität von P/T-Netzen ist unentscheidbar."
-
Der Berechenbarkeitsbegriff bei P/T-Netzen
-
"The Reachability Problem requires Exponential Space."
-
Komplexität 1-sicherer P/T-Netze
-
Petrinetzsprachen
-
Erweiterungen: Transfer Nets, Reset Nets, Inhibitor Nets, Self-Modifying Nets
-
Entscheidbarkeitsresultate für Elementare Objektnetze
-
Petrinetze und Zeit: Time Nets und Timed Nets
Folien
Folien werden je nach Fortschritt der Veranstaltung hier hinterlegt.
Zugriff nur von Rechnern am Informatik-Campus oder via VPN-Zugang
(siehe
Informationen des RZ).