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 (Lecturersdirectly.

VA-Details

Semester: Winter term 2020

2.01.404 Petri-Netze -  


Veranstaltungstermine

  • Montag: 10:00 - 12:00, wöchentlich (19.10.2020 - 01.02.2021)
  • Donnerstag: 10:00 - 12:00, wöchentlich (22.10.2020 - 04.02.2021)
  • Mi., 17.02.2021 10:30 - 12:30

DozentIn

Studienbereiche

  • Studium generale / Gasthörstudium

SWS
1

Art der Lehre
Ausschließlich Online

empfohlenes Fachsemester
--

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

(Changed: 2021-04-30)