Lerninhalte |
* Modellierung verteilter Systeme aus verschiedenen Bereichen mit Petrinetzen - asynchrone Hardware - Geschäftsprozesse - verzeilte Programme - Logistik-Systeme - Protokolle * Eigenschaften und Phänomene verteilter Systeme - Deadlock, Livelock - Fairness - Lebendigkeit, Reversibilität, Beschränktheit * Analyse verteilter Systeme - Zustandsraumanalyse - Reduktionstechniken - Überdeckbarkeitsanalyse - Strukturelle Analyse * Zeitbewertete und stochastische verteilte Systeme * Verteilte Systeme mit Daten
* Offene Systeme |