y 1 + y 2 是网n的s-不变量 - basic.pptVIP

第四章 Petri网的结构性质 提纲 网的结构性质只由网的结构（基网）确定，而与网的初始标识无关。 一、结构有界性和守恒性 二、可重复性和协调性 三、不变量 四、可重复向量 五、死锁与陷阱 一、结构有界性和守恒性 定义4.1. 设N=(P,T;F)为一个网。如果对N赋予任意初始标识M0。网系统(N, M0)都是有界的，则称N为结构有界网。 定理4.1. 设A为网N=(P,T;F)的关联矩阵，则N为结构有界网的充分必要条件是：存在m（m=|P|）维正整数向量Y，使得AY?0。 一、结构有界性和守恒性 一、结构有界性和守恒性 一、结构有界性和守恒性 定义4.2. 设N=(P,T;F)为一个网， P1? P 。如果对N的任意初始标识M0，每个p?P1在(N, M0)中都是有界的，则称P1是网N的结构有界的库所子集。当P1= {p}时，称库所p 是结构有界的。若p不是结构有界的，则称p为结构无界库所。 定理4.2. 设A为网N=(P,T;F)的关联矩阵。 P1? P 是网N的结构有界的库所子集的充分必要条件是：存在非平凡的非负整数向量Y，使得AY?0，且??pi?P1 ,Y(pi)0。 一、结构有界性和守恒性 定义4.3. 设N=(P,T;F)为一个网。如果存在一个m（m=|P|）维正整数权向量Y=[y(1), y(2), …, y(m)]T，使得对N的任一个初始标识 M0和任意M?R(M0)都有 则称N为守恒的。特别地，当Y=[1,1,… ,1]T时，得到 这时称N为严格守恒的。 定理4.3.设A为网N=(P,T;F)的关联矩阵。N为守恒网的充分必要条件是：存在m（m=|P|）维正整数向量Y，使得AY=0。 一、结构有界性和守恒性 推论4.1. 设A为网N=(P,T;F)的关联矩阵。N为严格守恒网的充分必要条件是：存在m（m=|P|）维的全1向量Y=[1,1,… ,1]T ，使得AY=0。 推论4.2. 若N是守恒网，则N必是结构有界网。 定义4.4. 设N=(P,T;F)为一个网。如果存在一个m（m=|P|）维非负整数向量Y， pi?P1 当且仅当Y(j)0，使得对N的任意初始标识 M0和任意M?R(M0)都有 则称N关于库所子集P1为部分守恒的。 推论4.3. 设A为网N=(P,T;F)的关联矩阵。网N关于库所子集P1为部分守恒的充分必要条件是：存在m维非负整数向量Y，使得AY=0。 二、可重复性和协调性 定义4.5. 设N=(P,T;F)为一个网。若存在N的一个初始标识M0，和一个无限的变迁序列??，使得M0[?，且?t??T在中无限多次地出现，则称N为一个可重复网。M0称为N的一个可重复标识。 定理4.4. 设N=(P,T;F)为一个网。若A为N的关联矩阵，则N为可重复网的充分必要条件是：存在n维正整数向量X，使得ATX?0。 推论4.4. 设N为一个可重复网，若存在N的一个初始标识M0，是N的一个可重复标识。那么对任意M? M0，M也是N的一个可重复标识。 二、可重复性和协调性 定义4.6.设N=(P,T;F)为一个网。若存在N的一个初始标识M0和一个变迁序列??T*，使得M0[? M0，而且?t??T ：#(?,t)?1，则称N为一个协调网。 定理4.5. 设N=(P,T;F)为一个网，若A为N的关联矩阵，则N为协调网的充分必要条件是：存在n维正整数向量X，使得ATX=0。 三、不变量 定义4.7.设N=(P,T;F)为一个网，|P|=m，|T|=n，A为N的关联矩阵。 （1）如果存在非平凡的m维非负整数向量Y满足AY=0，则称Y为网N的一个S-不变量。 （2）如果存在非平凡的n维非负整数向量X满足ATX=0，则称X为网N的一个T-不变量。 引理4.1. 设Y1和Y2为N=(P,T;F)的两个S-不变量，X1和X2为N的两个T-不变量。那么 （1） Y1 + Y2是网N的S-不变量， X1 + X2是网N的T-不变量。 （2）若Y1 - Y2 0，则Y1 - Y2也是网N的一个网S-不变量；若X1 - X2 0 ， X1 - X2是网N的T-不变量。 定义4.8. 设N=(P,T;F)为一个网，|P|=m，|T|=n，A为N的关联矩阵。如果Y1 （ X1）是网N的一个S-不变量（T-不变量），而且任意满足Y Y1（X X1）的m（n）维非负整数向量Y（X）都不是网N的S-不变量（T-不变量），那么称Y1 （ X1）为网N的一个极小S-不变量（极小T-不变量）。 三、不变量 定义4.9.设V1,V2,…,Vk和V都是非平凡的非负整数n维向量。如果存在一组非负整数c1,c2,…,ck，使得 V= c