Moderne, hoch parallele Systeme sind äußerst verhaltenskomplex. Ihre Konstruktion bedarf der Visualisierung und der algorithmischen Unterstützung.
Petrinetze sind ein grundlegendes, weit verbreitetes grafische Modell für die Spezifikation paralleler Systeme. Auch stellen sie flexibel nutzbare algorithmische Methoden zur Analyse solcher Systeme bereit.
Thema des Moduls ist die Theorie und die Anwendung von Petrinetzen, sowohl zur Visualisierung, als auch zur Analyse und Synthese hoch paralleler Systeme.
FachkompetenzenDie Studierenden:
- definieren die Grundkonzepte von Petrinetzen
- klassifizieren Petrinetze anhand ihrer Eigenschaften
- analysieren Petrinetze
- wenden Petrinetze auf gegebene Problemstellungen an
MethodenkompetenzenDie Studierenden:
- können sich auf Petrinetze aufbauende Spezifikationsmethoden leichter erschließen
Sozialkompetenzen Die Studierenden:
- präsentieren den Veranstaltungsteilnehmern Lösungen von Übungsaufgaben
SelbstkompetenzenDie Studierenden:
