基于petri网的物流仓储系统的建模研究(1).pdf

万方数据

◇—∽基于Petri网的物流仓储系统的建模研究王伟刘文菊苏迪MoDELLINGWAREHOUSINGSYSTEM0引言Petri网理论2物流系统作业流程的Petri网模型第27卷第11期2010年11月计算机应用与软件WenjuAdam其标注在状态元素上。对于弧f∈F，当形∽>1时，将形(力标摘要Petri网作为一种离散事件动态系统的建模和分析方法，提供了在逻辑时序下研究系统特性和性能的有效手段，并有图形方法的直观性和逻辑方法的概括性。运用Petri网建立入库子模型及出库子模型，并使用基本Petri网和随机Petri网的化简规则对相应模型进行化简继而分析，得出优化结论，从而实现物流仓储系统的建模研究。关键词物流仓储系统Petri网建模仿真oNPETRINET—BASEDLoGISTICSWangWeilogicM∞一仓储物流系统是以其入库台、传送带、叉车、堆垛机、AGV小车、托盘、货物、缓冲区临时堆场、条码等为资源，并以入库活动开始，出库活动结束为事件的一类离散事件动态系统。系统时间是连续变化的，而系统状态仅在一些离散的时刻上因随机事件的驱动而发生变化。由于状态是离散变化的，但引发状态变化的事件是随机发生的，因此这类系统的模型很难用数学方程来描述。本文结合Petri网建模的特点，根据我国现有物流仓库的现状及相关领域的研究成果，根据第三方物流管理的特点，分别建立入库子系统的基本Petri网模型和出库子系统的随机Petri网模型，列出每个模型的变迁事件表。同时采用基本Petfi网和随机Petri网各自的等效化简规则，分别对所建立的二个模型进行等效化简，在此基础上分析系统的各项性能。根据结果探讨两种模型在仓储系统建模中的效用，继而得到一个公共解决方案。1Petri网的概念最早是在1962年CarlPetri的博士论文中提出的⋯。其主要特征包括：并行、不确定性、异步和分布描述能力以及分析能力。在Petri网系统图形表示中，状态元素称为库所(place)，用“O”表示；变迁元素(transition)用“口”表示；流关系(arc)一般用“一”表示；资源被称作托肯(token)，用“·”表示。当K(s)=∞(其中n，表示无穷大)时，通常省略其标注，当K(s)<∞时，将注在弧上，当形(力=1时省略不标。Petri网系统的动态规律称为变迁规则(transitionrule)。变迁发生条件：(1)。1t=t+u‘t’称为t的外延(Extention)；(2)t在肘有发生权(Firable)的条件是：Vs∈t：M(s)≥形(s，I)A5∈t：肼(s)+形(s，t)≤K(s)；如图1所示。K=2S2物流系统作业过程指从仓库接收货物入库开始，到按需要把商品全部发送出去的过程㈨，主要由入库、仓储、出库三个阶段构成。如图2所示。ComputerApplicationsandSoflwareV01．27No．11NOV．2010(天津工业大学计算机与自动化学院天津300160)LiuSuDi(CollegeofComputerandAutomatization，TianjinPolytechnicUniversity，Tianjin300160，China)Abst糟ctnet，舾amethoddynamicevents，provideslogicMmethod’sunloadsub—modelswarehouse，andbasicmodelsmodelingLogisticsModelVt图1Petri网示意图收稿日期：2009—03—20。天津市科学技术委员会发展基金(06YFGZGXl7500)；天津市教委发展基金(20061019)。王伟，硕士，主研领域：网络安全。PetrianalysingofsystemfordiscreteeffectivemegA'lsinquenceconditionstudythesystemiccharactersperformance，andhasadvantagesgraphicsintuitiongeneralisati—on．Inthispapermodelloadreductionrulesrandomreducethesecorrespondingfollowedbythem，andderiveoptimisedconclusion，thereforeimplementlogisticswarehousingsystem．KeywordsSimulationtowenetnetsalluseUSeon
万方数据
瓣卜m、姜筒替‘营筒涎蒋暑琴删铽≮‘怒／高超≯冀暑。分王筒泓‘傺筒≮叫；l：；兰眦3入库子系统作业流程的基本Petri网模型、心／I万j／出库子系统作业流程的随机Petri网模型计算