一类离散事件系统的非阻塞监督控制器设计  

Non-blocking supervisory control of a modular class of discrete event systems

作　　者：赵咪[1] 李志武[1] 

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

出　　处：《西安电子科技大学学报》2006年第5期735-738,837,共5页Journal of Xidian University

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

摘　　要：提出一种新的死锁控制策略,对系统Petri网模型中的基本信标实施控制保证了基本信标的最大可控,通过线性规划求取所有从属信标满足可控性的条件,即获得基本信标的控制深度变量.这种控制策略能保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性,即在控制下,受控系统从任意可达状态都可到达理想状态.和现有方法相比,该策略只需加入更少的控制库所,且可避免不必要的迭代过程.We develop a novel deadlock control policy to add monitors to ensure the controllability of elementary siphons of Petri nets, and the controllability of dependent siphons is ensured by properly selecting the control depth variables of elementary siphons, which can be obtained by linear programming techniques. The control policy can model concurrent execution of manufacturing assembly processes in FMS （Flexible Manufacturing Systems） through a class of nets. called the G-system that is a large class of discrete event 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. Compared with the existing policies, the advantage of ours is that a much smaller number of monitors are added with unnecessary iterative processes avoided.

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

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