Module

Voraussetzungen

Inhalte

• 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

Lernziele

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.

Prüfungsleistung

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.

Bemerkungen

• 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.