| 有效变迁覆盖在死锁预防策略中的应用 |
| |
| 引用本文： | 刘慧霞,邢科义,韩立斌,王峰.有效变迁覆盖在死锁预防策略中的应用[J].东南大学学报(自然科学版),2012(Z1):107-111. |
| |
| 作者姓名： | 刘慧霞 邢科义 韩立斌 王峰 |
| |
| 作者单位： | 西安交通大学系统工程研究所 |
| |
| 基金项目： | 国家自然科学基金资助项目(60774083,50975224) |
| |
| 摘 要： | 为解决一类自动制造系统的死锁问题,利用有效变迁覆盖提出了一种新的死锁预防策略.利用严格极小siphon与极大完备资源变迁回路之间的一一对应关系,将任意严格极小siphon子集转换为有效变迁覆盖.然后对有效变迁覆盖中每一个极大完备资源变迁回路添加具有合适控制变量的控制库所和相关弧,得到自动制造系统的活性控制器.通过求解线性整数规划问题得到控制变量.在此基础上为自动制造系统提出了一个新的死锁预防策略.该策略得到的控制器结构简单,适合于规模较大的实际生产系统.最后通过一个例子解释了所提出的死锁预防策略.
|
| 关 键 词： | 自动制造系统 死锁预防 Petri网 |
Application of effective transition covers to deadlock prevention policy |
| |
| Liu Huixia Xing Keyi Han Libin Wang Feng.Application of effective transition covers to deadlock prevention policy[J].Journal of Southeast University(Natural Science Edition),2012(Z1):107-111. |
| |
| Authors: | Liu Huixia Xing Keyi Han Libin Wang Feng |
| |
| Institution: | Liu Huixia Xing Keyi Han Libin Wang Feng(Systems Engineering Institute,Xi’an Jiaotong University,Xi’an 710049,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
