死锁是自动制造系统(Automated Manufacturing System,AMS)中出现的一种极不理想的现象,系统陷入死锁即意味着缺失活性,通常会影响资源分配系统(Resource Allocation System,RAS)的正常运行,使得系统局部或整体陷入停滞状态,从而导致加工任务的失败。在以安全问题为首的系统中,可能带来灾难性的后果。因此,对系统进行活性分析,解释死锁出现的本质原因,非常重要。针对AMS的活性分析问题,在由Petri网建模的代表柔性制造系统(Flexible Manufacturing Systems,FMS)的一般网中,现有研究主要采用的工具为最大可控信标和死标识信标(Deadly Marked Siphon,DMS)。然而前者仅为S~4R(System of Sequential Systems with Shared Resources,资源共享型顺序系统)网活性判定的充分条件,而后者方法不能直观、及时地反应S~4R网的活性,过于依赖系统结构,且不能应用于更一般的网中。对于带装配操作的AMSs,因结构较为复杂,活性分析鲜有相关研究。为了能够更恰当地解释一般网中出现的死锁现象,本文主要从结构角度出发,提出欠标识信标。在Petri网建模的AMS中,基于欠标识信标分别对柔性和带装配操作的AMS两种系统进行活性分析。全文的主要研究工作如下:(1)S~4R(Systems of Sequential Systems with Shared Resources,资源共享型顺序系统)作为一种代表FMSs的一般网,被拓展为一种更一般的网,即S~*R网。对于具有同步操作的AMS,将一些现有的增广标识图(Augmented Marked Graph,AMG)子类网,拓展为一种新的AMGs子类网:AMG~*网。(2)在S~*R网中讨论基于DMS进行的活性分析中存在的问题,并分析解释问题存在的原因,对基于DMS的活性定理加以拓展。为解决DMS在一般网活性分析上的不足从而更恰当地解释一般网中出现的死锁现象,提出一种基于信标的活性特性化描述概念,即欠标识信标(Undermarked Siphon,US)。在S~*R网中解释这类一般网中欠标识信标与活性之间的关系,得到基于欠标识信标的活性判定充分必要条件,并对欠标识信标结构进一步讨论,以确定其定义方式。最后在S~*R网中,对比DMS与US,说明欠标识信标用于分析活性的优越性。(3)将基于欠标识信标对S~*R网进行的活性分析相关工作拓展到AM G~*网中。通过分析AMG~*网中死锁标识的相关特性,可在系统可达的某个死锁标识下,讨论AMG~*网中欠标识信标的结构,得到AMG~*中基于欠标识信标的活性判定充分必要条件,并证明一个非活的AMG~*网与四种不同类型的信标之间的关系。