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