PNL: Unterschied zwischen den Versionen

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
K (Grundlagenveranstaltung)
Zeile 1: Zeile 1:
Die Vorlesung '''Prozesse und Nebenläufigkeit (PNL)''' ist eine [[HauptstudiumGrundlagen|Grundlagenveranstaltung]] im [[Hauptstudium]].
Die Vorlesung '''Prozesse und Nebenläufigkeit (PNL)''' ist eine [[Grundlagenveranstaltung]] im [[Hauptstudium]].


= Inhalt =
= Inhalt =
Zeile 17: Zeile 17:
* Seite 80, Abb. 4.7a: Die Bildunterschrift ist falsch. Das Netz ist nicht A-erhaltend.
* Seite 80, Abb. 4.7a: Die Bildunterschrift ist falsch. Das Netz ist nicht A-erhaltend.


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

Version vom 14. November 2007, 12:05 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.