PNL
Version vom 13. November 2007, 17:40 Uhr von T (Diskussion | Beiträge)
Die Vorlesung Prozesse und Nebenläufigkeit (PNL) ist eine Grundlagenveranstaltung im Hauptstudium.
Inhalt
- Prozessalgebra
- Harel-Graphen (Statecharts)
- Höhere Petrinetze
- Verifikation und Model Checking
- Prozesse und ihre Synchronisation
- Fehlertolerante Kommunikation in verteilten Systemen
- Symmetriebrechung mit probabilistischen Verfahren
- Systeme von Funktionseinheiten
Weblinks
Inhaltliche Fehler im Skript (WS 2004)
- Seite 80, Abb. 4.7a: Die Bildunterschrift ist falsch. Das Netz ist nicht A-erhaltend.