Dozent:
Prof. Dr. Barbara König

Karla Messing

Inhalt und Lernziele

Nebenläufige Systeme - von denen verteilte Systeme ein Spezialfall sind - können von einem Benutzer oder Programmierer oft nur schwer überschaut werden. Bereits relativ kleine Systeme, die aus mehreren interagierenden Komponenten bestehen, können ein sehr komplexes Verhalten haben. Außerdem stößt man auf Phänomene und Probleme (Deadlocks, wechselseitiger Ausschluß), die bei sequentiellen Systemen in dieser Form nicht auftreten können. Daher werden in dieser Vorlesung entsprechende Modellierungstechniken und Analysemethoden vermittelt, die zum besseren Verständnis solcher Systeme führen. Es werden voraussichtlich folgende Themen behandelt:

• Transitionssysteme
• Verhaltensäquivalenzen: Sprachäquivalenz, Bisimulation
• Prozesskalküle - CCS
• Petri-Netze (Partialordnungstechniken)
• Graphtransformationssysteme

Sehen Sie auch unter der Webseite SS 2020.

Hinweise

Diese Vorlesung kann von Studierenden verschiedener Studiengänge gehört werden. Insbesondere handelt es sich dabei um:

• Studierende im Duisburger Master-Studiengang "Angewandte Informatik (Ingenieur- und Medieninformatik)"
• Studierende im Master-Studiengang "International Studies in Engineering" (Computer Engineering)
• Studierende mit Nebenfach Informatik

Literatur

• R. Milner: Communication and Concurrency. Prentice Hall, 1989.
• W.J. Fokkink: Introduction to Process Algebra. Springer, 2000.
• Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, 2007.
• Edmund M. Clarke, Orna Grumberg, Doron A. Peled: Model Checking. MIT Press, 2000.
• W. Reisig: Petrinetze. Springer, 1985. (Eine neuere Version ist hier verfügbar.)
• Christel Baier, Joost-Pieter Katoen: Principles of Model Checking. MIT Press, 2008.
• Grzegorz Rozenberg: Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations, World Scientific, 1997

Elektronisch verfügbare Literatur:

• Davide Sangiorgi: On the origins of Bisimulation, Coinduction, and Fixed Points. Technical Report 2007-24, Department of Computer Science, University of Bologna, 2007. http://www.cs.unibo.it/~sangio/DOC_public/history_bis_coind.pdf
• Tadao Murata: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(4), 1989.
  http://www.cs.unc.edu/~montek/teaching/spring-04/murata-petrinets.pdf

Termine:

Vorlesung

Die Vorlesung findet in Präsenz statt.

Termine:

• Mittwoch, 8:30-10:00 Uhr
• Donnerstag, 12:15-14:15 Uhr

Ort: LE 120

Beginn in Präsenz am Mi, 13.04.2022 (zweite Semesterwoche). Genauere Informationen per Moodle.

Übungen

Alle zwei Wochen wird im Moodle ein Übungsblatt bereitgestellt. Die Übung wird in der darauffolgenden Woche statt einer der Vorlesungen stattfinden. Genaue Termine werden im Moodle und der Vorlesung rechtzeitig bekannt gegeben.

Prüfungen

Die Termine der mündlichen Prüfungen werden rechtzeitig bekannt gegeben. Laut aktueller Planung werden sie am Anfang der Vorlesungsfreien Zeit stattfinden. Bitte melden Sie sich beim Prüfungsamt im Anmeldezeitraum dazu an.

Folien & Notizen

Die Folien und Notizen werden über das Moodle der Vorlesung zur Verfügung gestellt.

Moodle Link (hier klicken)

Bitte tragen Sie sich in den Moodle-Kurs ein um alle Informationen und Unterlagen zu erhalten.