Kurapati Venkatesh, MengChu Zhou, Reggie J. Caudill. Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system. IEEE Transactions on Industrial Electronics, 41(6):611-619, 1994. [doi]
Abstract is missing.