Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata

In this paper we propose a new modeling approach. The proposed approach is based on hybrid model which combines Interval Constrained Petri Nets (ICPN) and Timed Automata. These tools allow us to evaluate, respectively, the quality variations and to manage the flow type disturbance. An example analysis illustrates our approach.