基于变迁覆盖的制造系统死锁控制策略.pdfVIP

第 30 卷第 4 期 控制理论与应用 Vo l. 30No. 4 2013 年4 月 Control Theory Applications Apr.2013 DOI: 10.76411CTA.2013.20843 基于变迁覆盖的制造系统死锁控制策略 刘慧霞1 ， 2↑，邢科义2，康茵茵2 (1.鲁东大学信息与电气[和学院，山东烟台 264025; 2 西安交通大学系统工程研究所机械制造系统工程国家重点实验室，陕西西安 71∞49) 摘要:基于系统Petri 网模型，研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变 迁覆盖是由一组极大完备资源变迁回路组成的集合，其变迁集覆盖了Petri 网中所奋极大完备资源变迁回路的变迁 集.验证变迁覆盖的有效性然后仅对有效变迁覆盖中的极大完备资源变迁回路添加控制位置，就得到系统的活性 受控Petri 网.这种受控Petri 网包含的控制位置个数少，从而结构相对简单.最后通过一个例子说明了所提出的死锁 控制策略的构成与特点. 关键词.柔性制造系统; Petri 网;死锁控制 中图分类号: TP278 文献标识码:A Transition cover-based deadlock control policies for manufacturing systems 1 2 2 LIU Hui-xia ，到， XING Ke-yi , KANG Miao-miao (1. School of Information and Electrical Engineeri吨， Ludong University,Yantai Shandong 264025 ,China; 2. The State Key Laboratory for Manufacturing Systems Engineering , Systems Engineering Institute , Xian Jiaotong University, Xian Shaanxi 710049 , China) Abstract: Based on Petri net models of flexible manufacturing systems , the deadlock control problem is addressed. The concept of transition-cover is employed to design a live controller for flexible manufacturing systems. A transition cover is a subset of maximal perfect resource transition circuits whose transition set covers transitions of all maximal perfect resource transition circuits in Petri nets. After validating the effectiveness of a transition cover, we can build a live controlled Petri net by only adding a control place to each maximal perfect resource transition circuit in the effective transition cover. The