自动化制造系统（Automatic Manufacturing System,AMS）是较少人为干预的生产过程。由于缺乏人为干预以及资源分配不合理,很容易造成死锁。为了保证自动化制造系统能顺利运行,首先需解决死锁问题。Petri网可以作为制造系统建模和分析的工具,在构建模型和分析系统性能方面颇有成效。基于Petri网的理论,研究人员针对自动化制造系统中的死锁问题提出了多种控制方法。通常,这些控制方法需要计算Petri网模型的可达图或信标。因此,计算复杂度是一个需要关注的问题。另外,由于在设计控制器时可能会禁止系统的某些许可行为,所以减少控制器对系统许可行为的影响也尤为重要。本文针对现有的分解控制算法存在的问题,基于Petri网的理论,从结构分析的角度,以S3PR（System of Simple Sequential Processes with Resources）网为模型,对网模型的许可行为进行研究。首先根据已有的分解控制策略,分析其在控制后丢失合法标识的原因,发现对某些单向运行标识进行配对控制时,禁止了系统中的一些合法标识。为了避免禁止这些合法标识,本文对现有的分解控制算法做出改进,主要完成的工作内容如下:1.本文针对S3PR网模型,通过对其结构进行分析,计算分解控制后网模型的可达图,通过分析分解控制后的网系统,找到已有的方法在控制时禁止的一些合法标识。分析这些合法标识,发现在单向运行标识配对时,同时使共享变迁使能的标识相遇不会导致死锁产生,因此这类配对不该被禁止。针对单向运行标识配对的问题,本文提出一种分解控制优化方法,该方法与现有的分解控制算法相比可以使系统得到更多的许可行为。2.基于对单向运行标识的重新划分,在设计控制器时可以有效地减少单向运行标识配对过程中一些不需要考虑的相遇状态,优化了控制方法。