Module

Voraussetzungen

Inhalte

• Grundlagen: Petrinetze zur Modellierung kausaler Beziehungen und damit anschaulichen Beschreibungen von Nebenläufigkeit, Synchronisation und Kommunikation • Typische sprachliche Konstrukte zur Programmierung von Nebenläufigkeit • Klassische Probleme der Sperr- und Ereignissynchronisation

Lernziele

Die Studierenden erwerben Verständnis der grundlegenden Begriffe der Petrinetztheorie und ein tieferes Verständnis der Grundprinzipien nebenläufiger Systeme anhand von Petrinetzmodellen. Darüberhinaus lernen die Studierenden, wie diese Modelle zur systematischen Konstruktion von nebenläufiger Software verwendet werden können.

Prüfungsleistung

Voraussetzung für die Modulabschlussprüfung: • erfolgreiche Bearbeitung von Übungsaufgaben (75% müssen erbracht werden)Modulabschlussprüfung: • Klausur, 120 min. ODER • mündliche Prüfung, 30-45 min. (bei geringer Teilnehmerzahl) In der ersten Lehrveranstaltung wird bekanntgegeben, ob die Prüfungsleistung in schriftlicher oder mündlicher Form zu erbringen ist.

Bemerkungen

• Studiengang Informatik B. Sc.: Wahlpflichtmodul in Komplex „Grundlagen der Informatik“ (Niveaustufe 300) • Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Methodische Grundlagen" • Studiengang Angewandte Mathematik M.Sc.: Wahlpflichtmodul im Komplex „Anwendungen“, Bereich „Informatik“ Falls kein Bedarf am Modulangebot in deutscher Sprache vorliegt, so kann statt dem Modul 12348 auch das englischsprachige Modul 11884 „Introduction into Concurrency“ angeboten werden. Die Module 11884 „Introduction into Concurrency“ und 12348 „Einführung in die Nebenläufigkeit“ können nicht zusammen abgerechnet werden.