基于Petri网的物流仓储系统的建模研究.pdfVIP

第27卷第11期 计算机应用与软件 V01．27No．11 andSoflware NOV．2010 2010年11月 ComputerApplications 基于Petri网的物流仓储系统的建模研究 王伟刘文菊苏迪 (天津工业大学计算机与自动化学院天津300160) 摘要 Petri网作为一种离散事件动态系统的建模和分析方法，提供了在逻辑时序下研究系统特性和性能的有效手段，并有图 对相应模型进行化简继而分析，得出优化结论，从而实现物流仓储系统的建模研究。 关键词 物流仓储系统Petri网建模仿真 oNMoDELLINGPETRINET—BASEDLoGISTICSWAREHOUSINGSYSTEM WeiLiu SuDi Wang Wenju ofComputerandAutomatization，TianjinPolytechnicUniversity，Tianjin300160，China) (College all Abst糟ctPetri and methodof fordiscrete effectivemegAlsin net，舾a system logicM∞一 modelinganalysing dynamic events，provides of and method’s conditionto the charactersand has intuition quence studysystemic performance，andadvantagesgraphics logicM generalisati— this theloadand of USereductionrulesofbasicPetrinetsand on．In weusePetrinettomodel unloadsub—models paper warehouse，and randomPetrinetstoreducethese modelsfollowed derive the corresponding byanalysingthem，andoptimisedconclusion，thereforeimplement on studymodelinglogisticswarehousingsystem． PetrinetsModelSimulation KeywordsLogistics system warehousing 0引言 ∞(其中n，表示无穷大)时，通常省略其标注，当K(s)∞时，将 其标注在状态元素上。对于弧f∈F，当形∽1时，将形(力标 仓储物流系统是以其入库台、传送带、叉车、堆垛机、AGV 注在弧上，当形(力=1时省略不标。Petri网系统的动态规律称 小车、托盘、货物、缓冲区临时堆场、条码等为资源，并以入