基于CPN的物流配送系统模型正确性的证明

• 作者: 郑文艳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 分层有色Petri网 仿真 物流配送系统 替代变迁
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 工程与应用
• 页码范围: 228-231
• 页数: 4页
• 分类号: TP301
• 字数: 2950字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1209-0170

摘要

利用分层有色Petri网建立物流配送模型,一方面减少了建立模型的复杂性,另一方面为模型正确性的证明提供了数据支持.对所建模型进行仿真获得的数据,可以从四个方面确保模型的正确性.使用分层有色Petri网进行层次化设计不仅可以增加模型的直观性而且降低了模型的复杂性,在确保模型正确性的同时也为物流仿真软件体系结构的模块化建立了良好的基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑文艳	德州学院计算机系	30	63	4.0	6.0