Deadlock resolution in automated manufacturing systems : a novel Petri net approach - Li, Zhi Wu; Zhou, Meng Chu