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

Transition cover-based deadlock control policies for manufacturing systems

作　　者：刘慧霞[1,2] 邢科义[2] 康苗苗[2] 

机构地区：[1]鲁东大学信息与电气工程学院,山东烟台264025 [2]西安交通大学系统工程研究所机械制造系统工程国家重点实验室,陕西西安710049

出　　处：《控制理论与应用》2013年第4期425-431,共7页Control Theory & Applications

基　　金：国家自然科学基金资助项目(60774083,50975224)

摘　　要：基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁回路组成的集合,其变迁集覆盖了Petri网中所有极大完备资源变迁回路的变迁集.验证变迁覆盖的有效性,然后仅对有效变迁覆盖中的极大完备资源变迁回路添加控制位置,就得到系统的活性受控Petri网.这种受控Petri网包含的控制位置个数少,从而结构相对简单.最后通过一个例子说明了所提出的死锁控制策略的构成与特点.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 number of control places in such a controlled Petri net is small and the structure of the controlled Petri net is simple. The proposed deadlock control policy is illustrated by an example.

关 键 词：柔性制造系统 PETRI网 死锁控制 

分 类 号：TH165[机械工程—机械制造及自动化] TP301.1[自动化与计算机技术—计算机系统结构]