A Petri Net Based Deadlock Avoidance Controller for Manufacturing Systems with Multiple Resource Service

摘要：

Based on system Petri net models, this paper addresses deadlock problems in automated manufacturing systems with multiple resource service. New concepts of cyclic structures and their saturation are presented. These concepts facilitate the development of the characterization for the liveness of Petri nets modelling manufacturing systems and deadlock avoidance Petri net controller. Deadlocks are characterized as saturated cyclic structures. By adding a control place and some related arcs to each elementary maximal cyclic structure so that the system cannot reach any saturated markings, deadlock can be successfully prevented. An algorithm for computing all elementary maximal cyclic structures is presented.

作者: Keyi Xing Feng Tian Junmin Li Shengli Qu

作者单位: The State Key Laboratory for Manufacturing System Engineering, and Systems Engineering Institute Xi Department of Applied mathematics Department of Automatic Control,Xidian University Xian, 710071, China

会议类型: 国际会议

会议名称: 第三届国际脉冲动力系统及应用学术会议

会议地点: 青岛

会议语种:英文

在线出版日期: 2006-07-21（万方平台首次上网日期，不代表论文的发表时间）