Extending high-level Petri nets for modeling hybrid systems
Ralf Wieting, Michael Sonnenschein · 1995
In this paper we present a new approach for modeling hybrid systems, e. g. systems that consist of discrete and continuous state changes. The approach is based on extensions of a class of high-level Petri nets. We give an informal description of our hybrid modeling language and illustrate its capability on a small example. Introduction Because of their good properties in theoretical analysis, practical modeling, and graphical visualization of concurrent systems, Petri nets are widely in use. Especially high-level Petri nets [1], which lead to more succinct and manageable models than low-level nets while still offering a lot of analysis methods and tools for editing, simulation, and analysis, have shown their suitability in a wide range of applications. Nevertheless, ordinary Petri nets can only be used to examine discrete systems. They are not qualified for modeling systems with continuously changing state variables. Therefore, they fail on modeling hybrid systems. In order to overcom...