A Method to Check Liveness of WS3PR

摘要：

　　Petri nets are widely used to model flexible manufacturing systems(FMSs)because they can help analyze the properties and synthesize deadlock-free supervisory controllers of FMS.Weighted System of Simple Sequential Processes with Resources(WS3PR)is an important subclass of Petri nets that can well model many FMSs.This work first gives new algorithms to check liveness for a WS3PR net via its subnet trees and structure.Then the computation complexity for the proposed method is shown in this paper,to be polynomial under certain limitations.Finally,sufficient conditions for deciding liveness of a WS3PR are established.An example is used to illustrate the results.

关键词： Liveness flexible manufacturing system deadlock Petri net

作者: WANG ShouGuang LIU Miao ZHOU MengChu WU WenHui

作者单位: School of Information & Electronic Engineering,Zhejiang Gongshang University,Hangzhou 310018,China;S School of Electro-Mechanical Engineering,Xidian University,Xian 710071,China The Key Laboratory of Embedded System and Service Computing,Ministry of Education,Tongji University, School of Information & Electronic Engineering,Zhejiang Gongshang University,Hangzhou 310018,China

会议类型: 国际会议

会议名称: The 33th Chinese Control Conference第33届中国控制会议

会议地点: 南京

会议语种:英文

页码: 4028-4033

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