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:
  • Prof. Dr.-Ing. Heiner, Monika
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:
  • Vorlesung / 4 SWS
  • Übung / 2 SWS
  • Selbststudium / 150 Stunden
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:
  • keine Zuordnung vorhanden
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:
  • keine Zuordnung vorhanden
Nachfolgemodul/e: Auslaufmodul ab: 04.10.2010