柔性制造系统非阻塞监督控制器优化设计  

Non-blocking Supervisor Design for Flexible Manufacturing Systems

作　　者：赵咪[1] 侯一凡[1] 

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

出　　处：《计算机科学》2009年第6期251-253,257,共4页Computer Science

基　　金：国家自然科学基金(60474018);教育部归国留学人员实验室基金(030401)资助

摘　　要：针对一类含有并发执行装配过程的柔性制造系统G-systems,提出一种新的死锁预防策略保证该系统的非阻塞性,即在控制下,受控系统从任意可达状态都可以到达理想状态。首先对Petri网模型中基本信标实施控制,保证了基本信标的最大可控,然后通过线性规划算法求取所有从属信标满足可控性的条件,即获得基本信标的控制深度变量。与现有方法相比,该策略优点在于只需加入少量的控制库所,就可避免不必要的迭代过程;其次是提出控制器输出弧位置优化策略,得到了结构更为简单、许可行为更多的非阻塞Petri网控制器。We developed a novel deadlock prevention policy for Petri nets that can model concurrent execution of manufacturing assembly processes in FMS （Flexible Manufacturing Systems） through a class of nets, called G-systems. A relevant property of the system behavior is to be non-blocking, i. e. , from any reachable state, a desirable state can be always reached under supervision. Firstly,monitors were added to ensure the controllability of elementary siphons of Petri nets, then the controllability of dependent siphons was ensured by properly selecting the control depth variables of elementary siphons, which can be obtained by linear programming techniques. Compared with the existing policies, the advantages of ours are that a much smaller number of monitors are added and unnecessary iterative processes are avoided. Control policy referring to rearrangement of output arcs of the monitors can ensure more permissive behavior and simple structure based on the non-blockingness of the system.

关 键 词：柔性制造系统 PETRI网 死锁预防 基本信标 非阻塞 

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