Petri网是一种形式化、图形化的系统建模、描述和分析工具。对于具有异步并发、分布、不确定性和随机性的系统,都可以利用这种工具构建模型,然后对其进行分析,即可得到系统静态结构和动态行为方面的信息。Petri网既有直观的图形表示,又有深刻的数学内涵和基础。Petri网的并发不确定性在描述具体问题时常会有一些不便,究其原因在于它不能准确地检测出库所中特定的标识。为此,网人在原型Petri网中引入禁止弧(Inhibitor arc)和容许弧(Permissive arc),得到一类增广Petri网—禁止弧＼容许弧网。现实中的系统往往具有并发和不确定性,任务的复杂程度在时间或空间上超越了单个主体的能力,仅靠单个主体的实现是不可能的,所以多主体协作成为必不可少的行为。传统的协作系统模型往往在任务分配时十分复杂,没有考虑任务的分级与处理的公平性,一旦出现局部故障,缺少相应的恢复机制。本文不考虑中心控制的情况,使用带禁止/容许弧的增广Petri网构建了一类具有中断处理功能、可实现任务转移和故障恢复的协同控制系统,并利用结构分析、分块建模等技术,对系统的主要行为特征进行了较深入细致的研究。随后对模型进行了验证,表明该模型具有主体协作能力,能够兼顾系统的任务分级和处理的高效、公平性,在局部处理异常时能实现任务的转移和故障恢复。在Petri网中,并发和冲突是普遍存在的。并发和冲突混合在一起的现象称作混惑。系统中出现冲突之处正是系统环境对系统进行控制的地方,但若应用系统中出现混惑,则系统环境或无法确定是否有冲突出现。产生混惑的原因是系统中某些变迁的外延不完整,混惑会给系统分析和系统控制带来麻烦,有混惑的系统模型不是一个好的模型,在实际应用中必须保证混惑现象不会发生。本文对三种基本结构混惑做了进一步研究,并给出了增广Petri网的三种基本混惑的消除方法。对结论的正确性做了证明。混惑的消除使得Petri网的描述能力更强、使用范围更宽。所得结论可广泛用于工作流模型的验证。