Translating IOPT Petri net models into PLC ladder diagrams | IEEE Conference Publication | IEEE Xplore