Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen
Petri Net based Modelling and Analysis of Concurrent Systems
8 CPSummerDEno longer offered
Prerequisites
Recommended, as written
Kenntnis des Stoffes des Moduls • 12407: Einführung in die Nebenläufigkeit
Contents
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.
Learning outcomes
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.
Assessment
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.
Literature (1)
- Wird zu Beginn ausgegeben.
Remarks
• Studiengang Informatik M. Sc.: Wahlpflichtmodul im Komplex „Grundlagen der Informatik“ (Niveaustufe 500). • Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Methodische Grundlagen".
Source: BTU's module description · retrieved 16 Oct 2026Original