摘要
提出一种新的死锁控制策略,对系统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.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2006年第5期735-738,837,共5页
Journal of Xidian University
基金
国家自然科学基金资助项目(60474018)
教育部归国贸学人员基金资助项目(2004-527)
教育部归国留学人员实验室基金资助项目(03401)
关键词
柔性制造系统
PETRI网
死锁预防
基本信标
非阻塞
flexible manuufacturing systems（FMS）
Petri net
deadlock prevention
elementary siphon
non-blocking
