PNL

Aus Fachschaft_Informatik

Version vom 16. Februar 2006, 12:26 Uhr von fsrwiki_>1illig (Fehler im Skript, WS 2004)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Zur Navigation springen Zur Suche springen

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

http://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS0405/PNL/pnl.html

Inhaltliche Fehler im Skript (WS 2004)

Seite 80, Abb. 4.7a: Die Bildunterschrift ist falsch. Das Netz ist nicht A-erhaltend.

Abgerufen von „https://www2.informatik.uni-hamburg.de/fachschaft/wiki/index.php?title=PNL&oldid=3092“