11884 - Introduction into Concurrency Modulübersicht

Module Number: 11884 - module is no longer offered from SS 2023
Module Title:Introduction into Concurrency
  Einführung in die Nebenläufigkeit
Department: Faculty 1 - Mathematics, Computer Science, Physics, Electrical Engineering and Information Technology
Responsible Staff Member:
  • Prof. Dr. rer. nat. Lambers, Leen
Language of Teaching / Examination:English
Duration:1 semester
Frequency of Offer: Each winter semester even year
Credits: 8
Learning Outcome:Students acquire a general understanding of Petri net theory and its basic notions and gain a deeper understanding of the foundations of concurrent systems using Petri net models. Furthermore, students learn how Petri net models can be used to systematically construct concurrent software.
Contents:
  • Foundations: Petri nets for the modelling of causality, and thus for the graphic description of concurrency, synchronisation and communication
  • Typical language constructs for programming of concurrency
  • Standard problems of mutual exclusion and event synchronisation
Recommended Prerequisites:Knowledge in object-oriented programming, software technology, foundations.

Mandatory Prerequisites:No successful participation in module 12348 Einführung in die Nebenläufigkeit.
Forms of Teaching and Proportion:
  • Lecture / 4 Hours per Week per Semester
  • Exercise / 2 Hours per Week per Semester
  • Self organised studies / 150 Hours
Teaching Materials and Literature:Will be provided at the beginnning of the course.
Module Examination:Prerequisite + Final Module Examination (MAP)
Assessment Mode for Module Examination:Prerequisite:
  • Successful completion of exercise assignments (75% must be reached)
Final module examination:
  • Written examination, 120 min. OR
  • Oral examination, 30-45 min. (with small number of participants)
In the first lecture it will be announced, if the examination will be offered in written or oral form.
Evaluation of Module Examination:Performance Verification – graded
Limited Number of Participants:None
Part of the Study Programme:
  • no assignment
Remarks:
  • Study programme Computer Science B.Sc.: Compulsory elective module in complex „Foundations of Computer Science“ (level 300)
  • Study programme Information and Media Technology M.Sc.: Compulsory elective module in „Fundamental Methods“
  • Study programme Cyber Security M.Sc.: Compulsory elective module in complex „Computer Science“
  • Study programme Applied Mathematics M.Sc.: Compulsory elective module in complex „Applications“, field  „Computer Science“

If there is no need that the module is taught in English, alternatively the german version 12348   „Einführung in die Nebenläufigkeit“ may be offered instead.

Modules 11884 „Introduction into Concurrency“ and 12348  „Einführung in die Nebenläufigkeit“ can not be combined.

Module Components:
  • Lecture: Introduction into Concurrency
  • Accompanying exercise
  • Related examination
Components to be offered in the Current Semester:
  • no assignment
Follow-up Module/s: Phase-out module since: 20.01.2023
  • without Follow-up Module/s