第五章 物流系统建模和仿真.pptVIP

二、仿真模型 (二) Petri 网模型 定义2 设 ，令 分别称为变迁t的输入库所集（或t的前集）和t的输出库所集（或t的后集）。 二、仿真模型 (二) Petri 网模型 （3）变迁条件和触发规则 变迁条件 一个Petri网（PN）是一个六元组N=(P,T, F, K, W, M0)。对于 , 如果在标识M下， 成立，则称变迁t在M下有效，这时也说M授权t发生。 二、仿真模型 (二) Petri 网模型 触发规则 若t在M下有效，则M授权t发