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