Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen
Petri Net based Modelling and Analysis of Concurrent Systems
8 LPSoSeDEwird nicht mehr angeboten
Voraussetzungen
Empfohlen, im Wortlaut
Kenntnis des Stoffes des Moduls • 12407: Einführung in die Nebenläufigkeit
Inhalte
Ausgehend von den grundlegenden Begriffen der Petrinetztheorie wird eine Methodik demonstriert, wie nebenläufige Systeme, insbesondere nichtsequentielle Programme, mit verschiedenen Klassen von Petrinetzen modelliert und mit welchen Analystechniken welche Systemeigenschaften anhand des jeweiligen Modells analysiert werden können.
Lernziele
Die Studierenden kennen die Petrinetz-Analysetechniken (einschließlich verschiedener Modellcheckingverfahren) und deren Einsatzmöglichkeiten zur Validation und Verifikation nebenläufiger Systeme. Sie beherrschen entsprechende Netzwerkzeugen.
Prüfungsleistung
Voraussetzung für die Modulabschlussprüfung: • erfolgreiche Bearbeitung von Übungsaufgaben (75% müssen erbracht werden)Modulabschlussprüfung: • Klausur, 120 min. ODER • mündliche Prüfung, 30-45 min. (bei geringer Teilnehmerzahl) In der ersten Lehrveranstaltung wird bekanntgegeben, ob die Prüfungsleistung in schriftlicher oder mündlicher Form zu erbringen ist.
Literatur (1)
- Wird zu Beginn ausgegeben.
Bemerkungen
• Studiengang Informatik M. Sc.: Wahlpflichtmodul im Komplex „Grundlagen der Informatik“ (Niveaustufe 500). • Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Methodische Grundlagen".
Quelle: Modulbeschreibung der BTU · abgerufen 16.10.2026Original