摘要
根据Petri网结构理论分析S3 RP类型制造系统的死锁发生的充分必要条件 ,分析Petri网模型中存在的最小死锁结构 ,根据库所不变量原理提出在最小死锁结构处施加控制库所的策略 ,从而消除死锁的发生。实例证明基于不变量原理的死锁避免策略是算法简便 。
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.
出处
《机床与液压》
北大核心
2003年第3期111-113,共3页
Machine Tool & Hydraulics
