基于Petri网的无死锁控制器设计  

Design of Deadlock-free Supervisors Based on Petri Nets

作　　者：韦娜[1] 赵咪[1] 闫明明[1] 

机构地区：[1]西安电子科技大学机电工程学院,西安710071

出　　处：《计算机科学》2008年第11期255-257,280,共4页Computer Science

基　　金：国家自然科学基金(60474018);教育部归国留学人员基金(2004-527);教育部归国留学人员实验室基金(03401)

摘　　要：对柔性制造系统提出了一种新的死锁预防控制算法。运用区域理论对Petri网模型设计一个控制器,对控制器中所有严格极小信标求取控制库所与资源库所的代数式,保证了所有的严格极小信标受控。与现有方法相比,该策略不必考虑控制器结构,只需根据这些代数式分布控制器中的资源,就可以得到相应无死锁监督控制器。A new deadlock prevention policy for flexible manufacturing systems （FMS） was presented. A supervisor for Petri nets model using the theory of regions was designed. An algebraic expression about control places and resource places for all the strict minimal siphons （SMS） of the supervisor were obtained to ensure the controllability of them. Compared with the existing policies, the advantage of this paper is that resources allocation in the supervisor follows the expressions only, which result in obtaining a deadlock-free supervisor without changing the structure of the supervisor.

关 键 词：柔性制造系统 死锁预防 PETRI网 区域理论 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置] TP393[自动化与计算机技术—控制科学与工程]