| 一类制造系统活性控制 |
| |
| 引用本文： | 俞建峰,殷跃红,陈兆能. 一类制造系统活性控制[J]. 机床与液压, 2003, 0(3): 111-113 |
| |
| 作者姓名： | 俞建峰 殷跃红 陈兆能 |
| |
| 作者单位： | 上海交通大学机器人研究所,上海,200030 |
| |
| 摘 要： | 根据Petri网结构理论分析S^3RP类型制造系统的死锁发生的充分必要条件，分析Petri网模型中存在的最小死锁结构，根据库所不变量原理提出在最小死锁结构处施加控制库所的策略，从而消除死锁的发生。实例证明基于不变量原理的死锁避免策略是算法简便，有效的。
|
| 关 键 词： | Petri网 死锁结构 P不变量 死锁避免 |
| 文章编号： | 1001-3881(2003)3-111-3 |
| 修稿时间： | 2002-07-29 |
Controlling Method of the Deadlock Avoidance of the Flexible Manufacturing System |
| |
| YU Jian feng,YIN Yue hong,CHEN Zhao neng. Controlling Method of the Deadlock Avoidance of the Flexible Manufacturing System[J]. Machine Tool & Hydraulics, 2003, 0(3): 111-113 |
| |
| Authors: | YU Jian feng YIN Yue hong CHEN Zhao neng |
| |
| Abstract: | The sufficient and necessary condition of deadlock occuring in S3RP manufacturing system is presented based on the Petri netmodel.The minimal deadlock structure mamed siphons is analyzed.According to the P-invariant,the controlling strategy of avoiding deadlock is fully investigated.The effect of the described method is demonstrated using an example. |
| |
| Keywords: | Petri net Siphon Pinvariant Deadlock avoidance |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
