具有多项式时间复杂性的避免制造系统死锁控制策略

摘要

基于系统Petri网模型,研究自动制造系统的避免死锁问题.对不含中心资源的制造系统,证明了它只包含安全和死锁两类可达状态.通过一步向前看的方法,给出了系统多项式时间复杂性的最佳避免死锁策略.对一般系统定义了一种辅助Petri网.利用辅助网的最佳避免死锁策略,提出了综合一般制造系统多项式复杂性的避免死锁策略的方法.