Design of industrial automated systems via relay ladder logic programming and Petri nets. - MengChu Zhou; Edward Twiss (IEEE Trans. Syst. Man Cybern. Part C, 1998)