TY - BOOK AU - Li, Zhi Wu AU - Zhou, Meng Chu TI - Deadlock resolution in automated manufacturing systems: a novel Petri net approach U1 - 658.6 L1D ER -