Deadlock Avoidance Petri Net Controller for Manufacturing Systems with Multiple Resource Service. - Keyi Xing; Xiajie Jin; Yu Feng (ICRA, 2005)