12502 - Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen Modulübersicht
Modulnummer: | 12502 - Modul nicht mehr im Angebot ab SS 2010 |
Modultitel: | Modellierung und Analyse nebenläufiger Systeme mit Petrinetzen |
Petri Net - Based Modelling and Analysis of Concurrent Systems | |
Einrichtung: | Fakultät 1 - Mathematik, Naturwissenschaften und Informatik |
Verantwortlich: |
|
Lehr- und Prüfungssprache: | Deutsch |
Dauer: | 1 Semester |
Angebotsturnus: | jedes Wintersemester |
Leistungspunkte: | 8 |
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. |
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 12-4-07 : Einführung in die Nebenläufigkeit |
Zwingende Voraussetzungen: | keine |
Lehrformen und Arbeitsumfang: |
|
Unterrichtsmaterialien und Literaturhinweise: | Wird zu Beginn ausgegeben. |
Modulprüfung: | Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich! |
Prüfungsleistung/en für Modulprüfung: | 1. Belege unbenotet (bearbeitete Übungsblätter) 2. Klausur benotet, falls 1. bestanden |
Bewertung der Modulprüfung: | Prüfungsleistung - benotet |
Teilnehmerbeschränkung: | keine |
Zuordnung zu Studiengängen: |
|
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" |
Veranstaltungen zum Modul: | keine |
Veranstaltungen im aktuellen Semester: |
|
Nachfolgemodul/e: | Auslaufmodul ab: 04.10.2010 |