Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata
Lotfi Mhamdi, Hedi Dhouibi, Zineb Simeu-Abazi, Noureddine Liouane · 2013
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.