可达性是Petri网的最基本的动态性质-Basic.PPTVIP

* * * * * * * * * * * * * * 第二部分 Petri网的动态性质 提纲 网系统(以原型Petri网为模型)运行过程中的一些性质统称为动态性质(dynamic properties) 或行为性质(behavioral properties) 这些性质同Petri网所模拟的实际系统运行过程中的某些方面的性质有密切的联系 提纲 可达性 有界性和安全性 活性 公平性 持续性 可达性 可达性是Petri网的最基本的动态性质，其余各种性质都要通过可达性来定义 定义2.1. 设PN=(P,T;F,M)为一个Petri网。 如果存在t?T，使M[tM’，则称M’为从M直接可达的 如果存在变迁序列t1, t2, t3,?,tk和标识序列M1,M2, M3,?,Mk使得 M[t1M1[t2M2,?,Mk-1 [tkMk (2.1) 则称Mk为从M可达的 从M可达的一切标识的集合记为R(M)，约定M? R(M) 如果记变迁序列t1, t2, t3,?,tk为?，则(2.1)式也可记为M [? Mk 可达性 设初始标识M0表示系统的初始状态，R(M0)给出系统运行过程中可能出现的全部状态的集合。 定义2.2. 设PN=(P,T;F, M0)为一个Pe