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