Petr i网的基本概念.pptVIP

网与网系统 定义1.3. 设N=(P,T;F)为一个网 （1）若对?? x?P?T， ?x ? x? =Φ，则称N为一个纯网（pure net）。 （2）若对?? x, y?P?T，(?x= ?y)?(x? =y? ) →x=y，则称N为一个简单网（simple net）。 （3）若?? p?P，|?p|=|p?|=1，则称N为一个T-图（T-Graph）或标识图（marked graph）。 （4）若?? t?T，|?t|=|t?|=1，则称N为一个S-图（S-Graph）或状态机（state machine）。 （5）若?t1,t2 ?T (t1 ≠ t2), ?t1 ? ?t2≠Φ → |?t1|=|?t2|=1，则称N为一个自由选择网（free-choice net）。 （6）若?t1,t2 ?T (t1 ≠ t2), ?t1 ? ?t2≠Φ → ?t1=?t2，则称N为一个扩充的自由选择网（extended free-choice net）。 * 最新文档资源 网与网系统 定义1.4. 四元组PN=(P,T;F,M0)称作Petri网（网系统）当且仅当 （1） N=(P,T;F)为一个网； （2）映射M:P →{0,1,2,?}(非负整数集)称为网N的一个标识，其中，M0是初始标识； （3）引发规则： （3.1）变迁t ?T称为使能的当且仅当： ?? p ? ?t：M(p)?1，记作M[t>; （3.2）在M下使能的变迁t可以引发，引发后得到一个新的标识M’，记作M[t>M’,对p?P，有 * 最新文档资源 网与网系统 p1 p2 t1 t2 c1 c2 t3 t4 B p1 p2 t1 t2 p3 p1 p2 t1 t2 p3 一个网系统的全部可能的运行情况由它的基网N和初始标识M0完全确定。 因此，给出了基网和初始标识，也就唯一确定了一个网系统 M01={1,0,0} M02={0,1,0} * 最新文档资源 提纲 网与网系统 库所/变迁系统与加权Petri网 并发与冲突 * 最新文档资源 库所/变迁系统与加权Petri网 库所/变迁系统（简称P/T系统）是在定义1.4的Petri网基础上增加两个函数得到的 库所集上的容量函数 有向边上的权函数 增加这两个函数的目的是使得对某些实际系统建模显得方便 * 最新文档资源 库所/变迁系统与加权Petri网 定义1.5. 六元组Σ=(P,T;F,K,W,M0)称作一个库所/变迁网系统，其中 （1） N=(P,T;F)为一个网； （2） W: F →{1,2,?}(正整数集)称为权函数； （3） K: P →{1,2,?}(正整数集)称为容量函数； （4） M: P →{0,1,2,?}是一个标识，满足??p ?P：M(p)?K(p)其中，M0是初始标识； （5）引发规则： （5.1）对于t ? T，M[t>的引发条件 （5.2）若M[t>M’,对p?P，有 t H2 O2 2 2 例：化学反应的P/T系统 H2O * 最新文档资源 库所/变迁系统与加权Petri网 p1 p2 t1 t2 c1 c2 t3 t4 B 定义1.4的Petri网 P/T系统 p1 p2 t1 t2 c1 c2 t3 t4 B 1 t2无法引发 * 最新文档资源 库所/变迁系统与加权Petri网 对于一个库所/变迁系统Σ=(P,T;F,K,W,M0)，若规定 ?? p ?P：K(p)=? ?? f ?F：W(f)=1 那么，就变成形如定义1.4给出的网系统（原型Petri网） 对于一个P/T系统，如果规定各个库所的容量都为无穷大，即取消库所集上的容量函数而保留有向边集上的权函数，就得到一种介于原型Petri网和P/T系统之间的网系统模型Σ=(P,T;F,W,M0)，称这种模型为加权Petri网（weighted Petri net） P/T系统并不比原型Petri网具有更强的模拟能力，凡是可以用P/T系统对其建模的实际系统，也可以用原型Petri网对其建模。每一个P/T系统都可以转换为一个行为等效的Petri网 * 最新文档资源 库所/变迁系统与加权Petri网 K(p)=2 p 容量限制 p t t 权函数 p 2 p t 2 p 等价的原型Petri网 p t * 最新文档资源 提纲 网与网系统 库所/变迁系统与加权Petri网 并发与冲突 * 最新文档资源 并发与冲突 定义1.6. 设PN=(P,T;F,M0)是一个Petri网， t1和t2是PN中的两个变迁。如果PN的一个标识M使得M[t1>且M[t2>，那么若 M[t1>M1 → M1 [t2> 且 M[t2>M2 → M2 [t1> 则称t1和t2在M并发，记为M[{t1 , t