In: IEEE Conference CSCC'99, Athens, 4-8 july 1999: 3rd IMACS, pages p.223-228,. July 1999.
Abstract: This paper presents a method to model and simulate Hybrid dynamic Systems in order to validate their supervision model by simulating it in closed loop with the process model. The qualitative aspects are modelled by Petri nets and the quantitative aspects dealing with activities durations by differential-algebraic equations. These two modelling tools are integrated into Mixed Petri nets, which encapsulate the structuration power of Petri nets and the continuous description power of differential-algebraic equations. It is then applied to two simple exemples to illustrate the concepts defined in the paper.
Keywords: hybrid dynamic systems, modeling, high level Petri nets, simulation, algebro-differntial equations, supervision, state space.