一类制造系统活性控制

摘要：

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

关键词：Petri网、死锁结构、P不变量、死锁避免

分类号：TH165

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：111-113