Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
- سال انتشار: 1392
- محل انتشار: ماهنامه بین المللی مهندسی، دوره: 27، شماره: 1
- کد COI اختصاصی: JR_IJE-27-1_006
- زبان مقاله: انگلیسی
- تعداد مشاهده: 739
نویسندگان
UR ATSI D. Génie Electrique de L’ENIM, Monastir - Tunisie
UR ATSI D. Génie Electrique de L’ENIM, Monastir - Tunisie
Grenoble-INP / UJF-Grenoble ۱ / CNRS, G-SCOP, Grenoble, ۴۶, avenue Félix Viallet -۳۸۰۳۱- France
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 به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.