Lehre im Wintersemester 2008/2009

Hauptstudium

[Blockseminar]  Analyse von Petrinetz-Modellen (ThI)

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.

Weitere Informationen auf der Website der Veranstaltung.

[Seminar]  Model-Checking (ThI)

Wir studieren in diesem Seminar computergestützte Verfahren, mit denen überprüft werden kann, ob ein gegebenes Modell eines Systems eine gegebene Spezifikation erfüllt. Der Schwerpunkt liegt hierbei auf den Grundlagen moderner Model-Checking-Programme - Modellierung von Systemen, Eigenschaften von Systemen und deren Spezifikation und verschiedene Model-Checking Methoden.

Weitere Informationen auf der Website der Veranstaltung.

Archiv

Eine Übersicht über Veranstaltungen der vergangenen Semester finden Sie im Archiv.