[1]赵珊 马光思 毛宏燕.基于分层Petri网的仓储管理建模与验证[J].计算机技术与发展,2010,(12):29-33.
　ZHAO Shan,MA Guang-si,MAO Hong-yan.Modeling and Verification of Inventory Management Based on Layered Petri Net[J].,2010,(12):29-33.
点击复制

基于分层Petri网的仓储管理建模与验证()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2010年12期
页码:
29-33
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Modeling and Verification of Inventory Management Based on Layered Petri Net
文章编号:
1673-629X（2010）12-0029-05
作者:
赵珊1 马光思1 毛宏燕2
[1]西安建筑科技大学信息与控制工程学院[2]华东师范大学软件学院
Author(s):
ZHAO Shan; MA Guang-si; MAO Hong-yan
[1]School of Info.＆ Con.,Xi＇an Univ.of Arch.＆ Tech[2]Software Engineering Institute,East China Normal University
关键词:
分层Petri网; 仓储管理; 工作流; 存储机制
Keywords:
layered Petri net;  inventory management;  work flow;  storage mechanism
分类号:
TP393.0
文献标志码:
A
摘要:
文中综合理论研究和仓储管理项目的维护经验。应用Petri网理论,介绍了Petri网的存储机制,并提出了基于工作流和Petri网分层建模的实施策略、操作步骤和一套简明案例。详细介绍并给出了采用自动工具WoPeD2.0对部分建模实例的验证分析和修改过程,分析讨论了Petri网的存储机制及在模型验证中的支柱作用。经分析验证,得出实验结果正确无误。研究工作重点是提供一套基于Petri网建模分析的实施步骤和简明案例,旨在推动这一形式化方法在工程领域的广泛应用
Abstract:
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

相似文献/References:

[1]曾炼成 傅卓军 沈岳.超高频RFID标签可重用仓储管理系统的设计[J].计算机技术与发展,2011,(09):153.
　ZENG Lian-cheng,FU Zhuo-jun,SHEN Yue.Design on Warehouse Management System Based on Reusable UHF RFID Tags[J].,2011,(12):153.
[2]杨伟超,马增军,耿卫. 基于Hubble.net的仓储系统设计与实现[J].计算机技术与发展,2017,27(10):181.
　YANG Wei-chao,MA Zeng-jun,GENG Wei. Design and Implementation of Massive Data Storage Service System Based on Hubble. net[J].,2017,27(12):181.
[3]王珺吉,杜 燕,张建宏,等.智能仓储管理系统设计与实现[J].计算机技术与发展,2019,29(12):189.[doi:10. 3969 / j. issn. 1673-629X. 2019. 12. 034]
　WANG Jun-ji,DU Yan,ZHANG Jian-hong,et al.Design and Implementation of Intelligent Warehouse Management Information System[J].,2019,29(12):189.[doi:10. 3969 / j. issn. 1673-629X. 2019. 12. 034]

备注/Memo

备注/Memo:
国家自然科学基金（90718004）; 陕西省教育专项基金（07JK306）赵珊（1984-），男，硕士研究生，研究方同为汁算机软件与理论；马光思，教授，研究方向为软件方法、信息安全
更新日期/Last Update: 1900-01-01