[管理学]系统建模与仿真第三章.ppt

s3 s1 s2 t3 t2 t1 (1,0,0) (0,0,1) (0,1,1) (1,ω,0) (1, ω ,0) (0, ω ,1) (0, ω ,1) t1 t1 t2 t2 t3 t3 3.5.4 Petri网的行为性质 定义 (有界性)如果对于s∈S 及任意M ∈R (N，M0) , 都有M (S )≤K , 则称网是K—有界的, 特别地，当K = 1 时称此网是安全的。 有界性保证了系统的缓冲区不会溢出, 工件在某个操作阶段不会堆积。 有界性判别：一个Petri网(N，M0)为有界的,即其可达集R (N ，M0) 为有限，当且仅当Petri网的可达树中不出现无限参量ω。 安全性判别：一个Petri网(N，M0)是安全的,当且仅当Petri网的可达树的所有支点的位置标识中，只包含0和1两类元。 3.5.4 Petri网的行为性质 3.5.4 Petri网的行为性质 定义 (死锁)　对给定初始标识即初始令牌分布M0的一个Petri网R(N，M0) ，称其一个变迁节点t为死锁，如果对由初始令牌分布M0可达的任一令牌分布M∈R(N，M0)下，此节点变迁t都是不使能即不具发射权的。 在工程系统如柔性生产系统等的设计中，务必要从结构上尽可能避免死锁的存在，以保证系统的信息和物料的运行过程不致瘫痪。 s4 s3 s1 s2 t3 t2 t1 t4 3.5.4 Petri网的行为性质 定义(活性)　对t∈T 和M ∈R (N，M 0)，如果存在M’∈R (N ,M ) , 使得M’[ t , 则称 t 是活的。所有的 t∈T 都是活的, 则称网N 是活的。 活性保证了系统不会出现死锁, 生产可以正常连续进行。 在活性 Petri 网中, 无论怎样选取点火序列, 都保证不会出现死锁。 死锁的判别：一个Petri网(N，M0)的一个变迁t是死锁的，当且仅当此变迁节点t不出现在Petri网的可达树的任一分支上。 3.5.4 Petri网的行为性质 s8 s9 s7 s6 s5 s10 s4 s3 s1 s2 t8 t4 t3 t7 t6 t2 t1 t5 M0=(1,1,1,0,0,0,0,0,0,0) t1 、t2 冲突，让t1发生 s8 s9 s7 s6 s5 s10 s4 s3 s1 s2 t8 t4 t3 t7 t6 t2 t1 t5 M0=(1,0,0,1,0,0,0,0,0,0) t3发生 s8 s9 s7 s6 s5 s10 s4 s3 s1 s2 t8 t4 t3 t7 t6 t2 t1 t5 M0=(1,0,0,0,0,1,0,0,0,1) t6发生 s8 s9 s7 s6 s5 s10 s4 s3 s1 s2 t8 t4 t3 t7 t6 t2 t1 t5 M0=(1,1,1,0,0,0,0,0,0,0) t2发生 s8 s9 s7 s6 s5 s10 s4 s3 s1 s2 t8 t4 t3 t7 t6 t2 t1 t5 M0=(0,0,0,0,1,1,0,0,0,0) t4发生 M0=(0,0,0,0,0,1,1,0,0,1) t5 、t6并发 s8 s9 s7 s6 s5 s10 s4 s3 s1 s2 t8 t4 t3 t7 t6 t2 t1 t5 M0=(0,1,0,0,0,0,0,1,1,0) t7 、t8并发 s8 s9 s7 s6 s5 s10 s4 s3 s1 s2 t8 t4 t3 t7 t6 t2 t1 t5 M0=(1,1,1,0,0,0,0,0,0,0) s8 s9 s7 s6 s5 s10 s4 s3 s1 s2 t8 t4 t3 t7 t6 t2 t1 t5 思考题 加工车间Petri网系统 某加工车间有3台不同的机器M1,M2和M3，两个操作工F1和F2。操作工F1可以操作机器M1和M2，操作工F2可以操作机器M1和M3。工件分为两个阶段加工，第1阶段必须使用机器M1加工，第2阶段可采用M2或M3加工。当M2和M3均处于空闲状态时，工件在M2上加工，否则哪个空闲就在哪个上面加工。 建立该加工车间的Petri网系统模型 3.5.5 Petri网的类型 1）基本Petri网 在最简单的Petri网系统中，规定网中每一个库所的容量为1。其库所也可以称为条件，变迁称为事件，所以基本的Petri网又称为条件/事件系统。 2）低级Petri网 如果网中每一个库所的容量和权重为大于或者等于1的任意整数，这样的Petri网称为库所/变迁网。 * 《系统建模与仿真》 * 3.5.4 Petri网的类型 3）定时Petri网 在这种Petri网络中，将各事件的持续时间标在库所