Method for translating ladder diagrams to ordinary Petri nets | IEEE Conference Publication | IEEE Xplore