inf404 - Petrinetze (Veranstaltungsübersicht)

Am Ende des Semesters

Klausur oder mündliche Prüfung

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.

Fachkompetenzen
Die Studierenden:

• definieren die Grundkonzepte von Petrinetzen
• klassifizieren Petrinetze anhand ihrer Eigenschaften
• analysieren Petrinetze
• wenden Petrinetze auf gegebene Problemstellungen an

Methodenkompetenzen
Die Studierenden:

• können sich auf Petrinetze aufbauende Spezifikationsmethoden leichter erschließen

Sozialkompetenzen
Die Studierenden:

• präsentieren den Veranstaltungsteilnehmern Lösungen von Übungsaufgaben

Selbstkompetenzen
Die Studierenden: