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.

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

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page