| Lernziel: |
| Die Vorlesung baut auf dem Grundstudiumszyklus "Formale Grundlagen der Informatik", insbesondere F4: "Parallelität und Nebenläufigkeit" auf. Die dort behandelten Themen hatten eher das Ziel, Grundphänomene verständlich zu machen. Diese Grundlagenveranstaltung soll dagegen verstärkt den Aspekt der formalen Methoden berücksichtigen. Im Vordergrund steht dabei die Behandlung verschiedener Formalismen zur Modellierung verteilter und paralleler Systeme, wobei die Betonung auf "verschiedene" liegt, sowie Methoden der Analyse und Verifikation. |
| Materialien:
|
|
Skript: Informatik Campus Stellingen, Haus C, 1. Stock, Treppenhaus, oder Sekretariat TGI C 218
|
|
download:
Skript (Stand: 12. Februar 2006)
Folien (Kapitel 2.1)
Folien (Kapitel 2.2)
Folien (Kapitel 2.3)
Aufgabe 2.12 in Maude
ABP-Zwischenrechnung
Petrinetz zum ABP: PDF- und Renew-Dateien (zip-Archiv)
Folien (Kapitel 3)
Aufgabe 3.5 (Citizen Uhr)
Folien (Kapitel 4.1)
Folien (Kapitel 4.2)
Folien (Kapitel 4.3)
Folien (Kapitel 4.4)
Feuerlöschen in Renew
Folien (Kapitel 5.1)
Folien (Kapitel 5.2)
Folien (Kapitel 5.3)
Folien (Kapitel 5.4)
Folien (Kapitel 5.5)
Folien (Kapitel 6.1)
Folien (Kapitel 6.2)
Folien (Kapitel 6.3)
Folien (Kapitel 6.4)
Folien (Kapitel 7.1)
Folien (Kapitel 7.2)
Folien (Kapitel 8.1)
Folien (Kapitel 8.2)
Folien (Kapitel 9.1)
Folien (Kapitel 9.2)
Folien (Kapitel 9.3)
Literaturhinweise
|
| Stell. im Studienplan: |
| Hauptstudium, Vertiefungsgebiete P10, P2, P3, P4, P5, P9, Th1, Th2, Th3, Th4, T1, T2; Schwerpunkte BV, ES, IM, INE, OSE, RNT, SEM, SV, VIS, WV |
| Voraussetzungen: |
| Vordiplom |
| Vorgehen: |
| Vorlesung mit Hörsaalübungen |
| Literatur: |
| - C. Girault, R. Valk: Petri Nets for Systems Engineering - A Guide to Modelling, Verification, and Applications, Springer, Berlin, 2001
- O. Kummer: Introduction to Petri Nets and Reference Nets. Sozionik Aktuell, 1 (2001): http://www2.informatik.uni-hamburg.de/tgi/forschung/projekte/sozionik/journal/index.html
- W. Fokkink: Introduction to Process Algebra. Springer, Berlin, 2000
- H. Attiya, J. Welch: Distributed Computing, McGraw-Hill, London. 1998
- K. Jensen: Coloured Petri Nets, Vol. 1, EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 1992
- E. Jessen, R. Valk: Rechensysteme - Grundlagen der Modellbildungen, Springer, Berlin 1987
- D. Harel: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8 (1987) 231-274
|
| Periodizität: |
| jährlich zum WS |
| Stichworte: |
| Strukturelle Analyse, Model Checking, Verteilte Alg |
orithmen, Verifikation, temporale Logik, Prozessalgebra, Statecharts, Petrinetze, Referenznetze
Rüdiger Valk