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

ON MODELLING PETRI NET-BASED LOGISTICS WAREHOUSING SYSTEM

作　　者：王伟[1] 刘文菊[1] 苏迪[1] 

机构地区：[1]天津工业大学计算机与自动化学院,天津300160

出　　处：《计算机应用与软件》2010年第11期95-98,共4页Computer Applications and Software

基　　金：天津市科学技术委员会发展基金(06YFGZGX17500);天津市教委发展基金(20061019)

摘　　要：Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并有图形方法的直观性和逻辑方法的概括性。运用Petri网建立入库子模型及出库子模型,并使用基本Petri网和随机Petri网的化简规则对相应模型进行化简继而分析,得出优化结论,从而实现物流仓储系统的建模研究。Petri net,as a modeling and analysing method of dynamic system for discrete events,provides an effective means in logical sequence condition to study the systemic characters and performance,and has advantages of graphics intuition and logical method＇ s generalisation. In this paper we use Petri net to model the load and unload sub - models of warehouse,and use reduction rules of basic Petri nets and random Petri nets to reduce these corresponding models followed by analysing them,and derive optimised conclusion,therefore implement the study on modeling logistics warehousing system.

关 键 词：物流仓储系统 PETRI网 建模 仿真 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]