On hybrid systems modeling with Petri nets

For the last past years, the formalism of classic Petri nets and their various extensions, offer powerful concepts and formal techniques for modeling, simulation and analysis of hybrid dynamic systems. In this way, this paper presents a Petri net approach to specify and simulate hybrid dynamic systems with autonomous commutation of the model generated by a hysteresis phenomenon, in order to validate their behavior for several simulation scenarios. An application to a thermostat with anticipative resistance used into a control temperature process is treated.

[1]  René David,et al.  On Hybrid Petri Nets , 2001, Discret. Event Dyn. Syst..

[2]  Benoit Cebron.  Commande de systemes dynamiques hybrides , 2000 .

[3]  E. Dubois,et al.  Continuous Petri net with maximal speeds depending on time , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

[4]  Jamal Daafouz,et al.  Systèmes dynamiques hybrides , 2007 .

[5]  R. Drath.  Hybrid object nets : An object oriented concept for modeling complex hybrid systems , 1998 .

[6]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[7]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[8]  I. Demongodin,et al.  Modelling of Hybrid Control Systems using Petri Nets , 2007 .