Modules

BackEsc12407

Introduction into Concurrency

Einführung in die Nebenläufigkeit

8 CPSummerDEno longer offered

Prerequisites

Recommended, as written

Kenntnisse in objektorientierter Programmierung; Softwaretechnik, Grundlagen

Contents

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.

Learning outcomes

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.

Assessment

1. Belege unbenotet (bearbeitete Übungsblätter) 2. Klausur benotet, falls 1. bestanden

Literature (1)
  • Wird zu Beginn ausgegeben.

Remarks

- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400

Source: BTU's module description · retrieved 19 Oct 2026Original

Module catalogue · unofficial

Betula is an unofficial project and not part of BTU.

Folia 1.0.3Radix 0.6.0

Data as of 21 Oct 2026Winter 2026/27Source: BTU