第二部分Petri网的动态性质
第二部分 Petri网的动态性质
提纲网系统（以原型Petri网为模型）运行过程中的一些性质统称为动态性质（dynamicproperties）或行为性质（behavioralproperties）1这些性质同Petri网所模拟的实际系统运行过程中的某些方面的性质有密切的联系
提纲 ◼ 网系统(以原型Petri网为模型)运行过程中的一些 性质统称为动态性质(dynamic properties) 或行为性质(behavioral properties) ◼ 这些性质同Petri网所模拟的实际系统运行过程中 的某些方面的性质有密切的联系
提纲可达性有界性和安全性活性1公平性持续性
提纲 ◼ 可达性 ◼ 有界性和安全性 ◼ 活性 ◼ 公平性 ◼ 持续性
可达性可达性是Petri网的最基本的动态性质，其余各种性质都要通过可达性来定义定义2.1.设PN=（P,T;F,M）为一个Petri网如果存在teT，使M[t>M”，则称M'为从M直接可达的如果存在变迁序列t1,t2,t3....,t和标识序列M1,M2,M3/...,Mk使得(2.1)M[t,>M,[t2>M2],Mk-1[tk>Mk则称M为从M可达的从M可达的一切标识的集合记为R（M），约定MER（M）如果记变迁序列t1,t2,t3!.….,t为，则（2.1)式也可记为M[>Mk
可达性 ◼ 可达性是Petri网的最基本的动态性质，其余各种性质都要通过可达 性来定义 ◼ 定义2.1. 设PN=(P,T;F,M)为一个Petri网。 如果存在tT，使M[t>M’，则称M’为从M直接可达的 如果存在变迁序列t1, t2, t3,,tk和标识序列M1,M2, M3,,Mk使得 M[t1>M1[t2>M2,,Mk-1 [tk>Mk (2.1) 则称Mk为从M可达的 从M可达的一切标识的集合记为R(M)，约定M R(M) 如果记变迁序列t1, t2, t3,,tk为，则(2.1)式也可记为M [ >Mk
可达性设初始标识M表示系统的初始状态，R（M。）给出系统运行过程中可能出现的全部状态的集合。定义2.2.设PN=（P,T;F，Mo）为一个Petri网Mo为初始标识。PN的可达标识集R（M。）定义为满足下面两条件的最小集合：(1) MoE R(Mo);（2）若MeR（Mo），且存在teT，使得M[t>M，则M' E R(Mo)
可达性 ◼ 设初始标识M0表示系统的初始状态，R(M0)给 出系统运行过程中可能出现的全部状态的集合。 ◼ 定义2.2. 设PN=(P,T;F, M0)为一个Petri网, M0为初始标识。PN的可达标识集R(M0)定义为 满足下面两条件的最小集合： （1） M0 R(M0)； （2）若M R(M0)，且存在tT，使得M[t>M’，则 M’ R(M0)