Modelling of discret event systems

Modulnummer
TI5007
Modulverantwortliche
Berthold Franzen
Dozenten
Berthold Franzen
Kurzbeschreibung
Description, analysis and simulation of systems by petri nets and comparable techniques.
Qualifikations- und Lernziele

The participants are able to choose from , evaluate and apply in a competent manner the presented descriptive techniques for modelling reactive systems. They know the potential and the limitations of the presented approaches and its tools and thea are able to apply them for checking system properties.

Lerninhalte

Description techniques for reactive systems not only in the context of technical systems with respect to their suitability for purposes of modelling, simulation, verification of

temporal behaviour of these systems. In particular automata, petri nets and transition systems are being introduced, also for the application area of cyber physical systems and embedded systems. Comparison with conventional and widespread modelling approaches as e.g. SysML, Physical Modelling, Simulink and other hybrid approaches.

Moduldauer (Semester)
1
Unterrichtssprache
Deutsch
Gesamtaufwand
6 CrP; 180 Stunden, davon etwa 60 Stunden Präsenzzeit.
Semesterwochenstunden
4
Lernformen
Lecture 2 sppw Exercises 2 sppw
Geprüfte Leistung
Written exam
Bewertungsstandard
according to examination regulations (§ 9)
Häufigkeit des Angebots
Yearly
Literatur
  • J. Lunze: Ereignisdiskrete Systeme Oldenbourg
  • W. Reisig: Petrinetze Springer
  • H. Wimmel, L. Priese: Petrinetze Springer
  • O. Alt: Modellbasierte Systementwicklung mit SysML Hanser