A Method to Compute Resource Circuits in a Class of Petri Nets

摘要：

Methods based on resource circuits have become a research hotspot in the field of deadlock control recent years. Based on resource subnet and the trees of resource places, this paper proposes an effective method to compute all the resource circuits in a class of Petri nets called S3PR. When the proposed method is used in deadlock prevention policies, the computational efficiency can be significantly improved. An example is used to illustrate the application of the proposed method.

关键词： deadlock siphon FMS Petri nets S3PR

作者: Shouguang Wang Chengying Wang Yanping Yu

作者单位: College of Information & Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

会议类型: 国际会议

会议名称: 2010 International Conference on Advanced Mechanical Engineering(2010年先进机械工程国际学术会议 AME 2010)

会议地点: 洛阳

会议语种:英文

页码: 502-506

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