不变量可重复向量五.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(