Inhalt: Die Petrinetze haben sich als wichtiges Hilfsmittel zur Beherrschung des Entwurfs großer Systeme erwiesen. Als Hauptvorteil der Anwendung von Petrinetzen beim Systementwurf werden gewöhnlich ihre Anschaulichkeit und Analysierbarkeit genannt. Die Anschauligkeit erleichtert den Übergang von einer verbalen Systembeschreibung zu einer formalen Systemspezifikation als Petrinetz-Modell. Die Analysierbarkeit des Petrinetz-Modells gewährleistet seine Verifizierbarkeit, nämlich die Möglichkeit, die Erfüllheit der Spezifikationen nicht durch Simulation des Modells, sondern durch Analyse zu beweisen. In den klassischen Petrinetze ist die Zeit nur implizit als kausaler Zusammenhang zwischen Ereignissen modellierbar. In dieser Vorlesung werden wir verschiedene Erweiterungen der klassischen Petrinetzen kennenlernen, die eine explizite Modellierung der Zeit ermöglichen und Möglichkeiten der Analyse für diese zeitabhängigen Netze studieren.
Qualifikationsziele: Die Studierenden bekommen die Möglichkeit, Fähigkeiten und Fertigkeiten auf dem Gebiet der Modellierung und der Analyse von zeitabhängigen Systemen zu entwickeln und zu üben.
Das Skript zur Vorlesung:
V: montags 11 - 13 Rudower Chaussee 26, Raum 1'307 und mittwochs 11 - 13, Rudower Chaussee 26, Raum 1'307
Ü: montags 13 - 15 Rudower Chaussee 26, Raum 1'307 und mittwochs 13 - 15, Rudower Chaussee 26, Raum 1'307
Praktikum (fakultativ): dienstags 15 - 17 Rudower Chaussee 25, Raum 3.210
Es wird regelmäßig Übungsaufgaben geben, deren erfolgreiche Bearbeitung (mindestens 50% der Punkte) Voraussetzung für den Scheinerwerb und die Zulassung zur Prüfung ist.
Hausaufgabenblatt 1: als pdf-File, Abgabe am 26.Oktober 2015 vor der Vorlesung
Hausaufgabenblatt 2:als pdf-File, Abgabe am 2. November 2015 vor der Vorlesung
Hausaufgabenblatt 3: als pdf-File, Abgabe am 9. November 2015 vor der Vorlesung
Hausaufgabenblatt 4: als pdf-File, Abgabe am 16. November 2015 vor der Vorlesung
Hausaufgabenblatt 5: als pdf-File, Abgabe am 23. November 2015 vor der Vorlesung
Hausaufgabenblatt 6: als pdf-File, Abgabe am 4. Januar 2016
Hausaufgabenblatt 7: als pdf-File, Abgabe am 11. Januar 2016
Hausaufgabenblatt 8: als pdf-File, Abgabe am 18. Januar 2016
Hausaufgabenblatt 9: als pdf-File, Abgabe am 25. Januar 2016
Für die Zulassung zur Prüfung müssen mindestens 50% der Punkte in den Übungaufgaben erworben werden.
Prüfungstermine: