Petri Net Based Control Software Designing Approach to a Robot Palletizing Production Line

This paper mainly deals with the control software designing approach to a robot palletizing production line based on the verified system frame and control logic.Based on waterfall model,the system frame of control software was proposed.Then Petri net based software calling model and control logic model were established.The calling model was verified using reachable diagram,and control logic was verified with system simulation software Simu-link-stateflow.Finally,graphic programming language Labview was used to program the software using the verified calling model and control logic.All the required functions were realized in the control software.Engineering practice has validated the efficiency and reliability of the control software.