甘肃省自然科学基金(0903ZTB107)
- 作品数：1 被引量：3H指数：1
- 相关作者：蔡颖韩喜莲厚彩琴李绍勇王瑛更多>>
- 相关机构：兰州理工大学更多>>
- 发文基金：甘肃省高等学校基本科研业务费项目国家自然科学基金甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Petri网的子类G–system网的死锁控制策略被引量：3
- 2013年
- 由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策略设计而言,是十分重要的.本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略.与目前求解导致死锁信标所采用的部分枚举方法相比,该方法避免了先求解出最大的死标识信标,进而从中提取极小信标的步骤,提高了信标的计算效率.同时,通过添加适当的控制库所,使得灵巧信标满足max0-controlled,获取的活性受控G–system网系统的许可行为数目可以得到进一步的提升.通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.
- 李绍勇安爱民蔡颖厚彩琴韩喜莲王瑛
- 关键词：柔性制造系统PETRI网
