Modelling of discret event systems

Module Code
TI5007
Module Coordinators
Berthold Franzen
Teachers
Berthold Franzen
Short Description
Description, analysis and simulation of systems by petri nets and comparable techniques.
Learning Objectives

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.

Contents

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.

Duration in Semester
1
Instruction Language
German
Total Effort
6 CrP; an estimated 180 hours, of which approximately 60 are spent in class.
Weekly School Hours
4
Method of Instruction
Lecture 2 sppw Exercises 2 sppw
Requirements for the awarding of Credit Points
Written exam
Evaluation Standard
according to examination regulations (§ 9)
Availability
Yearly
References
  • J. Lunze: Ereignisdiskrete Systeme Oldenbourg
  • W. Reisig: Petrinetze Springer
  • H. Wimmel, L. Priese: Petrinetze Springer
  • O. Alt: Modellbasierte Systementwicklung mit SysML Hanser