PNL: Unterschied zwischen den Versionen

Aus Fachschaft Informatik
Zur Navigation springen Zur Suche springen
← Zum vorherigen VersionsunterschiedZum nächsten Versionsunterschied →
K Grundlagenveranstaltung
Weg mit den veralteten Infos
Zeile 10: Zeile 10:
* Symmetriebrechung mit probabilistischen Verfahren
* Symmetriebrechung mit probabilistischen Verfahren
* Systeme von Funktionseinheiten
* 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.


[[Kategorie:Grundlagenveranstaltung]]
[[Kategorie:Grundlagenveranstaltung]]

Version vom 14. November 2007, 11:07 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
Abgerufen von „https://wiki.mafiasi.de/index.php?title=PNL&oldid=3941“