Supervisory control of an automated system with ladder logic programming and analysis using Petri nets

Complex automatic systems require high level discrete event control and low-level implementation. To date in industry, programmable logic controllers dominate the application domain. Detailed analysis of the system with discrete event controller (PLC) is not readily available. A methodology of converting the LLD (PLC programming) into a Petri net is developed in this paper. The developed Petri net model captures the dynamics of the system and analyzes the qualitative and quantitative aspects of the system. One of the modeling tools of Petri net namely visual object net is used in this paper for simulation. It provides graphical, mathematical and visual modeling support.