Petri Net - Based Modelling and Analysis of Concurrent Systems
Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen
8 LPWiSeDEwird nicht mehr angeboten
Voraussetzungen
Empfohlen, im Wortlaut
Kenntnis des Stoffes des Moduls 12-4-07 : 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 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.
Prüfungsleistung
1. Belege unbenotet (bearbeitete Übungsblätter) 2. Klausur benotet, falls 1. bestanden
Literatur (1)
- Wird zu Beginn ausgegeben.
Bemerkungen
- 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"
Quelle: Modulbeschreibung der BTU · abgerufen 17.10.2026Original