【摘要】 根据Petri网结构理论分析S3 RP类型制造系统的死锁发生的充分必要条件 ,分析Petri网模型中存在的最小死锁结构 ,根据库所不变量原理提出在最小死锁结构处施加控制库所的策略 ,从而消除死锁的发生。实例证明基于不变量原理的死锁避免策略是算法简便 ,有效的更多还原

【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.更多还原