S^3PR网的严格极小信标计算方法  

Method to compute the strict minimal siphon for S^3PR

作　　者：尤丹[1] 刘苗[2] 吴文慧[1] 王寿光[1] 

机构地区：[1]浙江工商大学信息与电子工程学院,浙江杭州310018 [2]西安电子科技大学机电工程学院,陕西西安710071

出　　处：《西安电子科技大学学报》2014年第4期193-197,204,共6页Journal of Xidian University

基　　金：国家自然科学基金资助项目(61100056;61374148);浙江省自然科学基金资助项目(LY12F03020);浙江省科技计划资助项目(2013C31111);浙江省新型网络标准与应用技术重点实验室资助项目(2013E10012);浙江工商大学校级创新资助项目(3080XJ2513233)

摘　　要：Petri网作为一种新兴的数学建模工具,被广泛地应用于各类制造系统中.现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到死锁预防的目的.因此,严格极小信标在柔性制造系统的死锁预防中占据极其重要的地位.对于一类含有资源的简单资源顺序进程网(S3PR),笔者首先定义了一类特殊库所,通过分析特殊库所和环资源子集的关系,提出判定环资源子集对应的信标是否为严格极小信标的定理,基于判定定理有效求解出严格极小信标.实验结果表明,该方法可以快速地计算出S3PR网中的严格极小信标.Petri nets are used to model the concurrent execution and the deadlock problem in a flexible manufacturing system （FMS）.Strict minimal siphons （SMS） play an important role in the development of deadlock control policies for FMS.In this paper,for a class of Petri nets called Systems of Simple Sequential Processes with Resources （S3 PR）,we propose a more effective method to compute SMS by analyzing a special class of places in S3 PR.First,the concept of special places is proposed.Next,by analyzing the relationship between the special places and the loop resource subsets,some conditions for loop resource subsets to generate SMS are established. Based on those conditions, we can compute SMS effectively.Experimental results show that the proposed method is an effective one when the special places exist in S^3 PR.

关 键 词：死锁 柔性制造系统 PETRI网 严格极小信标 

分 类 号：TP273.1[自动化与计算机技术—检测技术与自动化装置]