Li, Zhi Wu Deadlock resolution in automated manufacturing systems : a novel Petri net approach / Li, Zhi Wu, Zhou, Meng Chu Dewey Class. No.: 658.6 L1D