PNL: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
T (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
K (Grundlagenveranstaltung) |
||
| Zeile 1: | Zeile 1: | ||
Die Vorlesung '''Prozesse und Nebenläufigkeit (PNL)''' ist eine [[ | 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: | [[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.