| Petri网的子类G–system网的死锁控制策略 |
| |
| 作者姓名： | 李绍勇 安爱民 蔡颖 厚彩琴 韩喜莲 王瑛 |
| |
| 作者单位： | 兰州理工大学 土木工程学院,兰州理工大学 电气工程与信息工程学院,兰州理工大学 土木工程学院,兰州理工大学 土木工程学院,兰州理工大学 土木工程学院,兰州理工大学 土木工程学院 |
| |
| 基金项目： | 国家自然科学基金资助项目(61364004, 61064003, 51266006, 50978129); 甘肃省自然科学基金资助项目(0903ZTB107); 甘肃省高等学校基本科研业务费资助项目(1103ZTC143); 兰州理工大学建工七七基金资助项目(TM-QK-1301). |
| |
| 摘 要： | 由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关, 如何准确和快捷地求解这样的信标, 对于基于信标可控的死锁控制策略设计而言, 是十分重要的. 本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略. 与目前求解导致死锁信标所采用的部分枚举方法相比, 该方法避免了先求解出最大的死标识信标, 进而从中提取极小信标的步骤, 提高了信标的计算效率. 同时, 通过添加适当的控制库所, 使得灵巧信标满足max'-controlled, 获取的活性受控G–system网系统的许可行为数目可以得到进一步的提升. 通过理论分析和算例验证, 表明了该死锁控制策略的正确性和有效性.
|
| 关 键 词： | 柔性制造系统 Petri网 死锁控制 灵巧信标 活性受控系统 |
| 收稿时间： | 2012-12-14 |
| 修稿时间： | 2013-06-21 |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《控制理论与应用》浏览原始摘要信息 |
|
点击此处可从《控制理论与应用》下载全文 |
|
