Informationen für Gasthörende
Zu erwartende TeilnehmerInnenzahl: |
---|
30 |
Zeit: |
Montag: 10:00 - 12:00, wöchentlich (ab 19.10.2020) k.A. Donnerstag: 10:00 - 12:00, wöchentlich (ab 22.10.2020) k.A. Termine am Mittwoch, 17.02.2021 10:30 - 12:30 |
Ort: |
|
Voraussetzungen: |
Angaben zum Inhalt: |
Moderne, hoch parallele Systeme sind äußerst verhaltenskomplex. Ihre Konstruktion bedarf der Visualisierung und der algorithmischen Unterstützung. Petrinetze sind ein grundlegendes, weit verbreitetes grafisches Modell für die Spezifi- kation paralleler Systeme. Auch stellen sie flexibel nutzbare algorithmische Methoden zur Analyse solcher Systeme bereit. Thema des Moduls ist die Theorie und die Anwendung von Petrinetzen, sowohl zur Visualisierung, als auch zur Analyse und Synthese hoch paralleler Systeme. Themen der Vorlesung: - Grundlagen der Petrinetze. - Sprachen von Petrinetzen - Erreichbarkeit, Überdeckbarkeit - Die Markierungsgleichung - Linear-algebraische Strukturelemente - Free-Choice-Netze - Programmverifikation mit Fallen - Rechnen mit Netzen - Entfaltungen - Höhere Netze |
Schließen |