Design of industrial automated systems via relay ladder logic programming and Petri nets | IEEE Journals & Magazine | IEEE Xplore