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