自动制造系统中的死锁可能会造成生产率下降以及某些不可挽回的结果,所以有必要对死锁问题进行研究。Petri网可以有效的对自动制造系统进行建模和死锁分析,因此得到广泛运用。计算复杂性是设计死锁控制策略时必须面对的问题。本文提出基于共享资源的Petri网分解控制方法,能够有效的解决计算复杂性的问题。该方法首先使用共享资源的方式把一个较大的网模型分解成两个子网模型,并使用已有的死锁预防策略分别为每个子网模型设计活性Petri网控制器。然后将两个受控子网模型进行合并,分析合并后网系统产生死锁的原因。最后针对死锁产生的原因进行控制,为整个网系统设计活性Petri网控制器。由于只需要计算子网的可达标识,不需要计算整个网系统的可达标识,因此可以降低控制器设计的计算量。本文完成的主要工作有:1.在使用已有的死锁预防策略将子网模型进行控制的基础上,分析两个受控子网模型合并后网系统产生死锁的原因。通过对两个受控子网模型的所有标识进行分析,发现两个受控子网的一些标识在合并后的网系统中会抑制共享变迁的使能,从而产生死锁。对这些标识进行配对,通过控制这些标识对,给出避免死锁的方法。2.只有共享库所中的托肯数一致的标识才可能出现在合并后的网系统中,对受控子网模型合并时按照共享库所进行配对,可以避免不必要的计算;另外,通过向量覆盖的方法,可以有效的减少所需要考虑的特殊标识的数目,并且可以减少所添加的控制库所的数目,降低计算代价。3.通过对合并过程中两个受控子网模型的特殊标识和非特殊标识组合的情况进行深入分析,进一步完善控制策略,使得完善后的控制策略能够获得许可行为更多的活性Petri网控制器。4.使用多级分解的方式将一个网模型分解为若干个规模足够小的子网模型。由于Petri网可达图的规模和网模型的规模成指数关系,因此使子网模型的可达图规模远小于整个网模型的可达图规模,可以降低计算量。