论文部分内容阅读
本文主要研究柔性制造系统中的死锁问题,基于Petri网中的一种子类S4R网给出了一种改进的死锁预防算法。Petri网中,信标作为一种结构体,在网的分析和死锁控制中起着相当重要的作用。然而,要计算所有的信标是很耗时的,甚至是不可能的,特别是当网的规模非常大时。S4R网可以建模复杂的、拥有多个并行加工进程的资源分配系统,而且不同的工序可以申请不同类型的多个资源。在S4R网中,死锁的产生归因于存在空的或未被充分标记的信标。目前的死锁预防控制策略大都通过添加控制库所使这些空的或未被充分标记的信标最大可控,然