Hybrid Systems Modelling : Mixed Petri nets

This paper presents a method to model and simulate Hybrid dynamics Systems in order to validate their supervision 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.

[1]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[2]  R. Valette,et al.  Modeling, simulation and control of event-driven operations in process systems , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[3]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[4]  D. Vibert,et al.  A modelling method to take into account fluctuations of continuous variables in a class of hybrid systems , 1997, 1997 European Control Conference (ECC).