مشخصات پژوهش

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