Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Winter term
2020
2.01.404 Petri-Netze -
Event date(s) | room
- Montag, 19.10.2020 10:00 - 12:00
- Donnerstag, 22.10.2020 10:00 - 12:00
- Montag, 26.10.2020 10:00 - 12:00
- Donnerstag, 29.10.2020 10:00 - 12:00
- Montag, 2.11.2020 10:00 - 12:00
- Donnerstag, 5.11.2020 10:00 - 12:00
- Montag, 9.11.2020 10:00 - 12:00
- Donnerstag, 12.11.2020 10:00 - 12:00
- Montag, 16.11.2020 10:00 - 12:00
- Donnerstag, 19.11.2020 10:00 - 12:00
- Montag, 23.11.2020 10:00 - 12:00
- Donnerstag, 26.11.2020 10:00 - 12:00
- Montag, 30.11.2020 10:00 - 12:00
- Donnerstag, 3.12.2020 10:00 - 12:00
- Montag, 7.12.2020 10:00 - 12:00
- Donnerstag, 10.12.2020 10:00 - 12:00
- Montag, 14.12.2020 10:00 - 12:00
- Donnerstag, 17.12.2020 10:00 - 12:00
- Montag, 21.12.2020 10:00 - 12:00
- Donnerstag, 7.1.2021 10:00 - 12:00
- Montag, 11.1.2021 10:00 - 12:00
- Donnerstag, 14.1.2021 10:00 - 12:00
- Montag, 18.1.2021 10:00 - 12:00
- Donnerstag, 21.1.2021 10:00 - 12:00
- Montag, 25.1.2021 10:00 - 12:00
- Donnerstag, 28.1.2021 10:00 - 12:00
- Montag, 1.2.2021 10:00 - 12:00
- Donnerstag, 4.2.2021 10:00 - 12:00
- Mittwoch, 17.2.2021 10:30 - 12:30
lecturer
Study fields
- Studium generale / Gasthörstudium
SWS
1
Art der Lehre
Ausschließlich Online
Für Gasthörende / Studium generale geöffnet:
Ja
Hinweise zum Inhalt der Veranstaltung für Gasthörende
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