Title :
Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata
Author :
Mhamdi, Lotfi ; Dhouibi, H. ; Simeu-Abazi, Zineb ; Liouane, Noureddine
Author_Institution :
D.Genie Electr. de L´ENIM, UR ATSI, Monastir, Tunisia
Abstract :
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.
Keywords :
Petri nets; discrete event systems; finite automata; ICPN; discrete event systems; flow type disturbance management; hybrid model; interval constrained Petri nets; modelling approach; quality variations; timed automata; Analytical models; Automata; Clocks; Firing; Petri nets; Reservoirs; Robustness; Interval Constraint Petri Nets; Petri Nets; Robustness; Timed Automata; modeling;
Conference_Titel :
Control, Decision and Information Technologies (CoDIT), 2013 International Conference on
Conference_Location :
Hammamet
Print_ISBN :
978-1-4673-5547-6
DOI :
10.1109/CoDIT.2013.6689538
