Translating IOPT Petri net models into PLC ladder diagrams. - Ricardo Feio; João Rosas; Luís Gomes 001 (ICIT, 2017)