《物流设施规划课程设计》指导书要点.docVIP

《物流中心规划课程设计》 指导书 付强 天津职业技术师范大学经济与管理学院 一、基于Petri网的建模方法 Petri网的概念：Petri网是对离散并行系统的数学表示。 经典Petri网经典的Petri网是简单的过程模型，由两种节点：库所和变迁，有向弧，以及令牌等元素组成的。 变迁（transition）方型节点 有向弧（connection）它是具有方向的，是库所和变迁之间的有向弧 令牌（token）它是库所中的动态对象，可以从一个库所移动到另一个库所。 2. Petri网的规则： （1）有向弧是有方向的； （2）两个库所之间变迁是不允许有弧的； （3）库所可以拥有然一数量的令牌； （4）行为 如果一个变迁的每个输入库所（input place）都拥有令牌，该变迁即为被允许(enable)。一个变迁被允许时，变迁将发生(fire)，输入库所(input place)的令牌被消耗，同时为输出库所(output place)产生令牌。变迁的发生是原子的，也就是说，没有一个变迁只发生了一半的可能性。有两个或多个变迁都被允许的可能，但是一次只能发生一个变迁。这种情况下变迁发生的顺序没有定义。如果出现一个变迁，其输入库所的个数与输出库所的个数不相等，令牌的个数将发生变化，也就是说，令牌数目不守恒。也就是说，不存在发生了一个变迁之后忽然冒出另一个变迁或者库所，从而改变P