12524 - Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen Modulübersicht
Modulnummer: | 12524 - Modul nicht mehr im Angebot ab SS 2023 |
Modultitel: | Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen |
Petri Net based Modelling and Analysis of Concurrent Systems | |
Einrichtung: | Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik |
Verantwortlich: |
|
Lehr- und Prüfungssprache: | Deutsch |
Dauer: | 1 Semester |
Angebotsturnus: | jedes Sommersemester |
Leistungspunkte: | 8 |
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. |
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. |
Empfohlene Voraussetzungen: | Kenntnis des Stoffes des Moduls
|
Zwingende Voraussetzungen: | keine |
Lehrformen und Arbeitsumfang: |
|
Unterrichtsmaterialien und Literaturhinweise: | Wird zu Beginn ausgegeben. |
Modulprüfung: | Voraussetzung + Modulabschlussprüfung (MAP) |
Prüfungsleistung/en für Modulprüfung: | Voraussetzung für die Modulabschlussprüfung:
|
Bewertung der Modulprüfung: | Prüfungsleistung - benotet |
Teilnehmerbeschränkung: | keine |
Zuordnung zu Studiengängen: |
|
Bemerkungen: |
|
Veranstaltungen zum Modul: | Vorlesung: Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen Übung zur Vorlesung |
Veranstaltungen im aktuellen Semester: |
|
Nachfolgemodul/e: |
Auslaufmodul ab: 19.01.2022
|