Modelling of Continuous-discrete Systems with Hybrid Petri Nets

In this article a new way of description is formed for continuous-discrete systems, resulting from a combination of discrete Petri Nets and differential equations. Additionally, for the newly developed means of description a mathematical description will be evolved, which can serve as a basis for a formal analysis of the models constructed. After that, a modular, object oriented modelling methodology for hybrid systems will be elucidated using a concrete example from control engineering.