In: Systems Analysis Modelling Simulation (SAMS), Vol. 18-19, pages 259-262. 1995.
Abstract: In this paper we present a new approach for modeling hybrid systems, e.g. systems that consist of discrete and continous 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.