Modelling of discret event systems
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.
- J. Lunze: Ereignisdiskrete Systeme Oldenbourg
- W. Reisig: Petrinetze Springer
- H. Wimmel, L. Priese: Petrinetze Springer
- O. Alt: Modellbasierte Systementwicklung mit SysML Hanser