PNL: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K (1 Versionen) |
T (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 16: | Zeile 16: | ||
= Inhaltliche Fehler im Skript (WS 2004) = | = Inhaltliche Fehler im Skript (WS 2004) = | ||
* 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]] | |||
Version vom 13. November 2007, 17:40 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.