二部分Petri网的动态质.pptxVIP

二部分Petri网的动态性质结构约束下的行为分析与理论推导

Contents目录二部分Petri网的动态性质——从基本定义到不变量分析的系统性研究框架01基本概念与结构定义02有界性与守恒性分析03活性与死锁特性04可达性与覆盖性05不变量分析方法

CHAPTER01基本概念与结构定义从一般Petri网到二部分Petri网的形式化定义与结构约束

FormalDefinitionPetri网的形式化定义Petri网是一种由库所、变迁和有向弧构成的二部有向图，通过标记（令牌分布）赋予动态语义。其形式化定义N=(P,T,F,W)为后续所有结构分析和行为研究提供了严格的数学基础。库所集与变迁集P与T构成有限非空集合，满足P∩T=?且P∪T≠?，二者交替出现形成二部图的基本拓扑结构P∩T=?有向弧集F?(P×T)∪(T×P)定义库所与变迁之间的有向连接，确保弧只在异类节点之间连接P×T∪T×P权重函数W:F→{1,2,3,...}为每条弧赋予正整数权值，普通Petri网中常简化为W≡1的单位权情形W≡1标记系统M:P→{0,1,2,...}表示各库所中的令牌数，系统的动态行为完全由标记的演化来刻画M:P→??

PetriNetDynamics变迁的使能条件与点火规则变迁的使能条件要求所有输入库所的令牌数不低于对应弧权值，点火后按先消耗后产生的规则更新标记。这是Petri网动态语义