PNL

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.