تشخیص عیب در سیستم ها ی گسسته پیشامد به کمک شبکه پتری برچسب دار

موضوع تشخیص عیب در سیستم ها ی گسسته پیشامد که دارای پیشامدهای غیر قایل رویت هستند، مسئله ای کاربردی و در عین حال پیچیده است که با گسترش روزافزون این سیستم ها در سال های اخیر اهمیت زیادی پیدا کرده است. این مقاله به حل مسئله تشخیص عیب برای این سیستم ها می پردازد. در این مقاله، از شبکه پتری برچسب دار استفاده می شود که برای توصیف این سیستم ها مناسب است. در روش پیشنهادی در این مقاله، با استفاده از معادلات جبری بیان کننده دینامیک شبکه پتری، شرایط مشاهده دنباله های پیشامدهای قابل رویت به صورت یک مسئله برنامه ریزی خطی توصیف می شود. با حل این مسئله می توان مجموعه دنباله های غیر قابل رویت و هم چنین بردار نشانه گذاری یا حالت شبکه را تخمین زد. بر این اساس درخت دسترسی پایه و همچنین بردار نشانه گذاری پایه تعریف و به دست می آیند که به کمک آنها موضوع تشخیص عیب در سیستم امکان پذیر می شود. سیستم عیب یاب پیشنهادی نیز قطعیت بروز عیب را در چهار درجه مشخص می کند. جهت بررسی کارآیی روش پیشنهادی نیز مثالهایی ارائه می شود.

کلیدواژه ها:

کلمات کلیدی: سیستم گسسته پیشامد ، شبکه پتری برچسب دار ، ، برنامه ریزی خطی صحیح ، درخت دسترسی پایه ، نشانه گذاری پایه