作为当代先进制造系统不可或缺的一部分,柔性制造系统具有传统制造系统所不具备的柔性和灵捷性。一个典型的柔性制造系统通常由拾取和放置机械手系统、若干加工中心、物流系统和先进控制系统等部分构成。其中一些部分可以被视作是该柔性制造系统中的共享资源,而这些共享资源正是其具有柔性的根源,但在某些情况下也会导致死锁现象的出现。死锁是资源分配系统中的经典问题,当它出现在高度自动化的柔性制造系统中时,会产生一系列负面的影响,从降低系统性能和生产能力到导致系统中部分重要和昂贵资源的低使用率,甚至导致长时间的系统停滞。因此,不论从理论研究还是实际应用方面,对死锁问题的分析与解决都势在必行。系统无死锁意味着柔性制造系统中一个或者多个并发加工进程始终可以完成。更进一步,系统活性是另一个重要的行为性能,它意味着系统中每一个加工进程或早或晚终究可以完成。活性意味着无死锁性,但并非反之亦然。实现系统活性是对死锁控制的更高要求。本文从系统行为逻辑的角度出发,重点研究建模柔性制造系统的一般Petri网模型中的内在活性结构与死锁控制问题。不同于现有的基于信标的控制方法,内在活性结构的概念成为设计、分析和优化本文中一系列新死锁控制和活性实现方法的起点。本文从建模具有复杂资源使用方式的柔性制造系统的一般Petri网模型子类中辨识和提取出内在活性结构的特征和本质。本文充分研究了一般Petri网模型的初始标识与连接弧权值之间的数值关系,以此来设计特殊的约束条件来实现全局或局部的内在活性结构。借助于Petri网结构理论、图论和数论,本文中关于死锁控制和活性实现的研究成果,在降低计算复杂度(或提高计算效率),降低结构复杂性或改善受控系统行为许可性方面显著优于传统基于信标的方法。