.美菜网生鲜农产品配送中心业务流程分析与优化.docVIP

美菜网生鲜农产品配送中心业务流程分析与优化 1、相关定义 1.1、Petri网定义和概念 一、基本定义 1、网的结构 网的定义是网系统静态结构的描述。 .如果有一个三元组能够满足以下条件,我们就可以把这个结构称为有向网, 简称为网: FgPxTuT xp(其中方向只能从P到T,或者T到P,而不能从P直接到P, 或者T到T) (2.1) -13- 第2章论文相关理论概述 dom(F)Ucod(F)=PuT (2.2) 上述四个条件中,P代表的是位置的集合(即库所),T代表的是转移的集合 (即变迁),F代表的是方向的集合(即流关系)。P中的元素称为P元素,T中的 元素称为T元素。F是由一个P元素一个T元素组成的有序偶得集合。 dom ( F)F所含有序偶得第一元素的集合,cod ( F )则是第二个元素组成的集 合: 定义:Petir网使一个三元组(P,T,F) 一”P是一个有限的位置集合; T是一个有限的变迁集合; ——F E (P X T) U (T XP))是输入输出关联矩阵集合。 Petir网有两个结点:位置(place)和变迁(transition),位置使用圆表示, 而变迁用小方块表示,位置和变迁的数量都是一个非零的有限值。有向弧连 接一个位置到一个变迁或一个变迁到一个位置。也可以认为Petri网是一个二 元图(偶图bopetrite graph),其位置和变迁交替的连接