Petri Net - Based Modelling and Analysis of Concurrent Systems
Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen
8 CPWinterDEno longer offered
Prerequisites
Recommended, as written
Kenntnis des Stoffes des Moduls 12-4-07 : 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 erwerben einen Überblick über Petrinetz-Analysetechniken (einschließlich verschiedener Modellcheckingverfahren) und deren Einsatzmöglichkeiten zur Validation und Verifikation nebenläufiger Systeme. Dazu gehört auch das Beherrschen von entsprechenden Netzwerkzeugen.
Assessment
1. Belege unbenotet (bearbeitete Übungsblätter) 2. Klausur benotet, falls 1. bestanden
Literature (1)
- Wird zu Beginn ausgegeben.
Remarks
- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 500 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 500 - Studiengang Informations- und Medientechnik Master, Komplex „Methodische Grundlagen"
Source: BTU's module description · retrieved 17 Oct 2026Original