Transformation from Petri Nets Model to Programmable Logic Controller using One-to-One Mapping Technique

Agile and flexible manufacturing system makes it mandatory that a control program should have features such as agility, flexibility, and reusability in order to meet fast changing customer demands. Proper modeling and fast formation of the control logics using graphical and mathematical tools is one of the most peculiar ways to make the control logic more feasible for rapid product prototyping, concurrent engineering, flexible, and agile manufacturing. This paper illustrates efficient conversion of Petri nets model into programmable logic controller like LLD (ladder logic diagram) in a very convenient way using one-to-one mapping technique. Furthermore, property analysis has been briefly explained to generate flawless control code for better operational performance. An example of painting robots has been demonstrated to prove the proposed method