Petri net versus Ladder Diagram for controlling a process automation | IEEE Conference Publication | IEEE Xplore