• Prof. Dr. Michael Elberfeld

• Prof. Dr. Michael Elberfeld
• Prof. Dr. Berthold Franzen

Keine

Beschreibung, Analyse und Simulation von Systemen mit Petrinetzen und vergleichbaren Techniken.

Beschreibungstechniken für reaktive Systeme nicht nur im Kontext technischer Anwendungen im Hinblick auf ihre Eignung zum Zwecke der Modellierung, Simulation, Analyse und Verifikation des zeitlichen Verhaltens dieser Systeme. Insbesondere werden Automaten und Petrinetze, Transitionssysteme u.a. eingeführt, auch für die Anwendungsbereiche Cyber Physical Systems und eingebettete Systeme. Vergleich mit konventionellen und weiterverbreiteten Modellierungsansätzen wie z.B SysML, Physical Modelling, Simulink und anderen hybriden Ansätzen.

Fachkompetenzen

• Die Studierenden können aus den behandelten Beschreibungstechniken und Werkzeugen die zur Modellierung von reaktiven Systemen die für den jeweiligen Zweck bestgeeignete auswählen, vergleichen und bewerten.

Methodenkompetenzen (fachlich & überfachlich)

• Die Studierenden können die Beschreibungstechniken und Werkzeuge sachgerecht zur Prüfung von Eigenschaften nebenläufiger Systeme einsetzen.
• Sie können ein vorliegendes nebenläufiges System als Petrinetz und als Automat modellieren.
• Sie können anhand des Modells das Systemverhalten auf wichtige Nebenläufigkeitseigenschaften wie z.B. Verklemmungsfreiheit, Lebendigkeit und Fairness untersuchen.

Sozialkompetenzen

• Die Studierenden können die Möglichkeiten und Grenzen der vorgestellten Ansätze und Werkzeuge im Team diskutieren.
• Sie können andere von der Eignung eines gewählten Ansatzes zur Modellierung eines Systems überzeugen.

Selbstkompetenzen

• Die Studierenden können sich eigenständig neuere Entwicklungen zur Modellierung nebenläufiger Systeme erarbeiten und ihre Anwendbarkeit für eine gegebene Aufgabe einordnen.

• 6 CrP
• Arbeitsaufwand 180 Std.
• Präsenzzeit 60 Std.
• Selbststudium 120 Std.

• 4 SWS
• Seminaristischer Unterricht 2 SWS
• Übung 2 SWS

• Informatik (M.Sc. 2022)
• Ingenieur-Informatik (M.Sc. 2022)

Nein

Bonuspunkte werden gemäß § 9 (4) der Allgemeinen Bestimmungen vergeben. Art und Weise der Zusatzleistungen wird den Studierenden zu Veranstaltungsbeginn rechtzeitig und in geeigneter Art und Weise mitgeteilt.

Prüfungsvorleistung: Keine

Prüfungsleistung: Klausur

• Lunze, J.: Ereignisdiskrete Systeme. Oldenbourg.
• Reisig, W.: Petrinetze. Springer.
• Wimmel, H.; Priese, L.: Petrinetze. Springer.
• Alt, O.: Modellbasierte Systementwicklung mit SysML. Hanser.