DocumentCode
657961
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
fYear
2013
fDate
6-8 May 2013
Firstpage
166
Lastpage
171
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Control, Decision and Information Technologies (CoDIT), 2013 International Conference on
Conference_Location
Hammamet
Print_ISBN
978-1-4673-5547-6
Type
conf
DOI
10.1109/CoDIT.2013.6689538
Filename
6689538
Link To Document