Modelling of discret event systems

Module Code
Module Coordinators
Berthold Franzen
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.


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
Instruction Language
Total Effort
6 CrP; an estimated 180 hours, of which approximately 60 are spent in class.
Weekly School Hours
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)
  • J. Lunze: Ereignisdiskrete Systeme Oldenbourg
  • W. Reisig: Petrinetze Springer
  • H. Wimmel, L. Priese: Petrinetze Springer
  • O. Alt: Modellbasierte Systementwicklung mit SysML Hanser