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

  • سال انتشار: 1392
  • محل انتشار: ماهنامه بین المللی مهندسی، دوره: 27، شماره: 1
  • کد COI اختصاصی: JR_IJE-27-1_006
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 739
دانلود فایل این مقاله

نویسندگان

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

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.