在自动化生产系统的实际运行过程中,可能会存在资源分配不当的情况,使得系统陷入死锁状态,进而导致系统无法运行,严重时会造成重大经济损失甚至是灾难。因此死锁问题是自动化生产系统在设计之初就必须要考虑的和解决的问题。Petri网作为一种建模工具,在自动化生产系统的建模、分析等方面有着广泛的应用。而在死锁的分析与控制方面,Petri网的死锁控制方式可以分为两类:基于可达图的分析方式和基于结构的分析方式。本文基于可达图和基于结构两种分析方式,探讨在改变S~3PR网初始标识的情况下,给网系统添加线性控制器,使得网系统获得最大许可行为时,两种方式需要的控制库所数量与初始标识的关系。主要完成的工作有:1.在S~3PR网不含ξ资源时,介绍其最大许可行为控制器控制库所数量与初始标识的关系,即无论是基于结构还是基于可达图的方式,最大许可行为控制器控制库所数量都不会超过严格极小信标的个数。2.在已有ξ资源概念的基础上,提出了双元ξ资源的概念,并证明了S~3PR网在只含双元ξ资源时,控制其严格极小信标不被清空就可得到最大许可行为控制器。这意味着无论使用哪种控制方式,其最大许可行为控制器控制库所数量都不会超过严格极小信标个数。3.对ξ资源的概念进一步扩展,给出了单元ξ资源的定义,并证明了S~3PR网在不含单元ξ资源时,控制其严格极小信标不被清空就可得到最大许可行为控制器。随后介绍了一种含有单元ξ资源的特殊情况,即活区标识集合是非凸的S~3PR网,该网无法通过添加线性控制器的方式得到最大许可行为。