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

سيستم رويدادگسسته (DES) يك سيستم پوياست كه احتمالاً با وقوع ناگهاني وقايع فيزيكي ناشناخته در فواصل نامنظم، تكامل مييابد. به دليل ماهيت ويژه اين سيستم ها، در حال حاضر از ابزارهاي مختلف براي تجزيه و تحليل، طراحي و مدلسازي آنها استفاده ميشود. تمركزاصلي اين مقاله ارايه روش مدلسازي سيستمهاي رويداد گسسته است. روش ارايه شده مدل تركيبي از فاصله‌ي محدود پتري شبكهها (ICPN) و آتوماتاي به‌هنگام (timed automata)است. اين ابزار به ما اجازه ميدهد تا به ارزيابي تغييرات كيفيت و مديريت نوع اختلال جريان بپردازيم. تحليل اين رويكرد را با يك مثال نشان ميدهيم.

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 nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus 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 to manage the flow type disturbance. An example analysis illustrates our approach.