云南大学-代飞《软件过程》Petri网-基本概念.pptVIP

变迁t2发生 s1 t1 t2 t3 s2 s3 s4 ?1=(N, M1) M1: M1(s1)=0, M0(s2)=M0(s3)=1, M0(s4)=0 M1=(0, 1, 1, 0) t4 变迁t1发生 s1 t1 t2 t3 s2 s3 s4 ?2=(N, M2) M2: M1(s1)=1, M0(s2)=M0(s4)=0, M0(s3)=1 M2=(1, 0, 1, 0) t4 变迁t4发生 s1 t1 t2 t3 s2 s3 s4 ?3=(N, M3) M3: M1(s1)=0, M0(s2)=M0(s3)=0, M0(s4)=1 M3=(0, 0, 0, 1) t4 问题 当网系统运行到标识M1时，变迁t1和t4都可以发生点火。网系统根据什么原则，选取变迁呢？ 当网系统运行到标识M2时，还可以继续运行下去吗？ 当网系统运行到标识M3时，还可以继续运行下去吗？ 不确定性 停止 3、网系统分类(1/2) 容量函数 K: S?N+?{?} N+是自然数集， ?是无穷 标识 M: S?N0为一个标识的充要条件，?s?S有M(s)?K(s)。 权函数W: F?N+。用W(x, y)表示值。 我们前面学习的网系统：K(s)=?, W(x, y)=1 网系统分类(2/2) 根据Ｋ及Ｗ分成四类： 基本网系统（ＥＮ系统）:K?1, W ?1 库所／变迁网（Ｐ／Ｔ网） :K