CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

عنوان مقاله: Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
شناسه ملی مقاله: JR_IJE-27-1_006
منتشر شده در شماره 1 دوره 27 فصل January در سال 1392
مشخصات نویسندگان مقاله:

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

خلاصه مقاله:
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.

کلمات کلیدی:
Modeling,Petri Nets,Interval Constraint Petri Nets,Timed Automata,Robustness

صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/255017/