PNL: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
fsrwiki_>1illig K (Fehler im Skript, WS 2004) |
K (1 Versionen) |
(kein Unterschied)
| |
Version vom 5. November 2007, 06:50 Uhr
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.