自动制造系统（Automated Manufacturing System,AMS）的活性研究是生产系统领域中的研究热点问题。对于自动制造系统而言,死锁是不可以接受的,因为这意味着系统随时可能出现生产停滞现象,从而造成严重的甚至灾难性的后果。资源共享装配系统由于其包含同步操作,能够完成更为复杂的生产过程而受到了广泛的关注。但是该类系统结构复杂,建立其活性系统模型会面临许多困难和挑战。现有文献虽然对资源共享装配系统的活性进行了广泛的研究,但仍然存在极高的计算复杂度和结构复杂度,以及系统许可行为较低的问题。因此,对资源共享装配系统的活性进行深入研究是非常有必要的。本文运用Petri网作为工具,对资源共享装配系统的活性问题展开研究。主要研究内容如下:（1）提出装配资源控制网（Assembly Resource Control Net,ARCN）合成网的活性构建方法。在多个ARCN的合成过程中,如果某些ARCN的基本子进程合成后存在一类不正当的进程推进顺序会导致合成网中出现可被清空的信标,即出现死锁,则基于广义互斥约束（General Mutual Exclusion Constraint,GMEC）为这些 ARCN 添加控制器抑制死锁的产生,使得ARCN合成网满足活性。该方法避免了对系统中的信标或者可达状态进行枚举,大大降低了分析难度。（2）提出含有资源的简单标识图（Simple Marked Graph With Resource,SMGR）合成网的活性构建方法。如果SMGR合成网不满足活性,则提出一种基于信标补集的活性局部监督控制策略,使得只要有一个SMGR中的资源在系统状态空间集中不全部流入信标补集中,即可保证SMGR合成网满足活性。该方法计算简单,无需监控全局,只需监控局部就可使得整个合成网系统满足活性。此外,合成网系统的许可行为也得到了极大的提升。（3）提出一种适用于含有装配操作系统的线性规划方法来验证系统活性。基于该线性规划活性验证方法,对上述提出的两种活性构建方法分别进行验证,证明了其有效性。该线性规划活性验证方法避免了对信标、可达状态等系统全局信息的穷举遍历,极大地提高了验证效率。综上所述,本文分别对ARCN合成网和SMGR合成网提出的活性构建方法是在合成过程中对子网进行分析,并对子网设计控制器,使得最终的合成网系统满足活性。将高度复杂的活性分析问题以及死锁避免问题降维至一个简单的子系统,大大降低了计算的时间和空间复杂度;另一个显著的好处是建模过程更加灵活。