Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
محل انتشار: ماهنامه بین المللی مهندسی، دوره: 27، شماره: 1
سال انتشار: 1392
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 736
فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJE-27-1_006
تاریخ نمایه سازی: 17 خرداد 1393
چکیده مقاله:
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special natureof these systems, different tools are currently used for their analysis, design and modeling. The mainfocus of this paper is the presentation of a new modeling approach of Discrete Event Systems. 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 tomanage the flow type disturbance. An example analysis illustrates our approach.
کلیدواژه ها:
نویسندگان
l Mhamdi
UR ATSI D. Génie Electrique de L’ENIM, Monastir - Tunisie
h Dhouibi
UR ATSI D. Génie Electrique de L’ENIM, Monastir - Tunisie
z Simeu-Abazi
Grenoble-INP / UJF-Grenoble ۱ / CNRS, G-SCOP, Grenoble, ۴۶, avenue Félix Viallet -۳۸۰۳۱- France
n Liouane
UR ATSI D. Génie Electrique de L’ENIM, Monastir - Tunisie