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

• 作者: 毛宏燕 赵珊 马光思
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 分层Petri网 仓储管理 工作流 存储机制
• 年，卷（期）: 2010,（12）
• 页码范围: 29-33
• 分类号: TP393.0
• 字数: 4722字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.12.008

摘要

文中综合理论研究和仓储管理项目的维护经验.应用Petri网理论,介绍了Petri网的存储机制,并提出了基于工作流和Petri网分层建模的实施策略、操作步骤和一套简明案例.详细介绍并给出了采用自动工具WoPeD2.0对部分建模实例的验证分析和修改过程,分析讨论了Petri网的存储机制及在模型验证中的支柱作用.经分析验证,得出实验结果正确无误.研究工作重点是提供一套基于Petri网建模分析的实施步骤和简明案例,旨在推动这一形式化方法在工程领域的广泛应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马光思	西安建筑科技大学信息与控制工程学院	37	523	11.0	22.0
2	毛宏燕	华东师范大学软件学院	4	22	3.0	4.0
3	赵珊	西安建筑科技大学信息与控制工程学院	4	13	3.0	3.0