Decknatel, G.; Schnieder, E.:
A Formal Definition and Discrete-Event Simulation of Hybrid High-level Petri Nets.
2000 IEEE International Conference on Systems, Man & Cybernetics, S. 6, Dortmund, ''1 2000. Dortmund.


Petri Nets can be used to model, analyse and simulate discrete systems. There are several approaches to extend Petri Nets by continous features such that they can be applied to continous-descrete (hybrid) systems as well. We present one such apporach which is based on Coloured Petri Nets. For modelling and simulation, we use an existing tool for Coloured Petri Nets with time. We outline a method for discrete-event simulation which allows to construct an occurrence graph of the hybrid models.