论文部分内容阅读
Petri网是建模和分析的工具,它的主要特性包括:并行,不确定性,异步和分步描述能力和分析能力。它既有直观的图形表示,又有深刻的数学内涵和基础。Petri网的结构理论的思想是以某种特定结构比如siphon(Siphon是这样一些库所的集合:关联的流入变迁,一定也是关联的流出变迁,所以一旦siphon不被标识,将永远不被标识,这一特征对于网的活性,弱活性的描述极其深刻)、不变量和子网覆盖,通过这些结构上Token的分布特征研究网的动态行为。本人的工作是结构理论下的研究。利用结构性分析理论、化简技术、不变技术,对Petri网的主要行为特征进行了较为深入细致的研究,得到一些新的结果:Petri网中,混惑会给系统分析和系统控制带来麻烦,有混惑的系统不是好系统,有混惑的模型不是好模型。文中针对混惑的特质进行了研究,在已知的3种结构混惑(增混惑、减混惑、不增不减混惑)的基础上,证明了不增不减混惑是增混惑和减混惑的复合,这使得在解决混惑的检测与消除的时候,进一步减小问题的规模,并在随后的研究分析中得到了混惑的充要条件,同时借助带抑制弧的Petri子网构造了混惑的消除器,并利用可达图对构建的混惑消除器进行分析,证明了它是可行的。现在流行的分析技术(siphon与陷阱,siphon与不变量,覆盖技术等)都面临随着Petri网规模的扩大而随指数阶增长。Petri在1986年的“‘Forgotten Topics’of Net Theory”中提出了信息流的概念。用信息流替代原来的结构,用信息流的构造规则的Petri网表示来构造Petri网,达到避开状态空间爆炸问题的目的。以此目的,本文在基本网系统和C/E系统这一级别上,构造出了信息流运算的一个最小完备集{P1,Q}的Petri网表示。构造的Petri网简洁而准确的刻画了信息流运算与流动的特点,并能根据所构造的Petri网来体现信息流的复合运算。