基于分层Petri网的仓储管理建模与验证  

Modeling and Verification of Inventory Management Based on Layered Petri Net

作　　者：赵珊[1] 马光思[1] 毛宏燕[2] 

机构地区：[1]西安建筑科技大学信息与控制工程学院,陕西西安710055 [2]华东师范大学软件学院,上海200062

出　　处：《计算机技术与发展》2010年第12期29-33,共5页Computer Technology and Development

基　　金：国家自然科学基金(90718004);陕西省教育专项基金(07JK306)

摘　　要：文中综合理论研究和仓储管理项目的维护经验。应用Petri网理论,介绍了Petri网的存储机制,并提出了基于工作流和Petri网分层建模的实施策略、操作步骤和一套简明案例。详细介绍并给出了采用自动工具WoPeD2.0对部分建模实例的验证分析和修改过程,分析讨论了Petri网的存储机制及在模型验证中的支柱作用。经分析验证,得出实验结果正确无误。研究工作重点是提供一套基于Petri网建模分析的实施步骤和简明案例,旨在推动这一形式化方法在工程领域的广泛应用。Combined with theoretical research and inventory management project maintenance experience.Applied Petri nets theory,the implementation strategies and operation procedures are proposed based on workflow and the Petri nets layered model and a set of brief case are given.The validation analysis and modification process of modeling samples are introduced with automatic tools WoPeD2.0.The storage mechanism of Petri net and its pillaring effect in model validation are discussed.Through analysis and experimental results verify correct.This research focus provides implementation steps and a set of brief case based on the Petri nets layered model,to promote the formal methods widely used in engineering field.

关 键 词：分层Petri网 仓储管理 工作流 存储机制 

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