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

计算机工程与应用 ›› 2013, Vol. 49 ›› Issue (11): 228-231.

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

郑文艳

德州学院计算机系，山东德州 253023

出版日期:2013-06-01 发布日期:2013-06-14

Accuracy of modeling in logistics systems based on hierarchy CPN

ZHENG Wenyan

Department of Computer Science and Technology, Dezhou University, Dezhou, Shandong 253023, China

Online:2013-06-01 Published:2013-06-14

摘要/Abstract

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

关键词: 分层有色Petri网, 仿真, 物流配送系统, 替代变迁

Abstract: The modeling of logistics systems are completed by the tools of hierarchy coloured Petri net. It can reduce the complexity of modeling and provide data got by the simulation of the model. The data can be used in four aspects to prove the correctness of the model. The correct of the model is guarantied and the good fundament of modularization and hierarchy design for the material flow simulation software architecture is formed.

Key words: hierarchy coloured Petri net, simulation, logistics systems, substitute transition

郑文艳. 基于CPN的物流配送系统模型正确性的证明[J]. 计算机工程与应用, 2013, 49(11): 228-231.

ZHENG Wenyan. Accuracy of modeling in logistics systems based on hierarchy CPN[J]. Computer Engineering and Applications, 2013, 49(11): 228-231.

[1]	黄逸磊，夏志杰，王诣铭. 强关系型社交媒体平台不实信息传播模型研究[J]. 计算机工程与应用, 2021, 57(9): 126-133.
[2]	李高源，王晋宇，张长弓，冯博迪，高宇歌，杨海涛. SAR图像仿真方法研究综述[J]. 计算机工程与应用, 2021, 57(15): 62-72.
[3]	张悟移，李建国，龚钰雯. 高层住户防抛物、坠物安全意识演化模型[J]. 计算机工程与应用, 2021, 57(1): 254-260.
[4]	康雷雷，卢维科，刘澜. 城市快速路入口匝道与交叉口协调控制策略[J]. 计算机工程与应用, 2020, 56(9): 267-271.
[5]	叶颖诗，魏福义，蔡贤资. 基于并行计算的快速Dijkstra算法研究[J]. 计算机工程与应用, 2020, 56(6): 58-65.
[6]	刘洪琛，刘朝霞，张龙. 融合[L2]和KL保真项的图像恢复算法[J]. 计算机工程与应用, 2020, 56(5): 214-221.
[7]	朱惠娟，王永利，陈琳琳. 面向三维模型轻量化的自私羊群优化算法研究[J]. 计算机工程与应用, 2020, 56(3): 42-48.
[8]	张新伟，李康，郁龚健，刘家航，李佩琦，柴志雷. 基于ZYNQ集群的神经形态计算加速研究与实现[J]. 计算机工程与应用, 2020, 56(21): 65-71.
[9]	蒋姝丽，刘渊，王晓锋. 天地一体化信息网络宽带用户行为仿真技术[J]. 计算机工程与应用, 2020, 56(10): 75-82.
[10]	戴耀南，陈绪兵. 人体背部脊椎恒温艾灸机器人设计与实现[J]. 计算机工程与应用, 2019, 55(9): 216-222.
[11]	龚心杰，李德识. 广域稳控系统通信网络性能仿真及分析[J]. 计算机工程与应用, 2019, 55(8): 66-73.
[12]	魏锋涛，卢凤仪. 融合核函数在改进径向基代理模型中的应用[J]. 计算机工程与应用, 2019, 55(7): 58-65.
[13]	吴其凡1，张劲1，刘凯1，汤炜2，田卫东2. 下颌骨拼接与导板设计的力反馈虚拟手术研究[J]. 计算机工程与应用, 2019, 55(5): 226-231.
[14]	陈可嘉，陈琳琳，陈鹏. OPM3要素对项目组合管理能力影响的SD建模与仿真[J]. 计算机工程与应用, 2019, 55(3): 258-265.
[15]	刘富春，贺云，陈奕峰. 时延MPC自主车辆协同控制算法与仿真[J]. 计算机工程与应用, 2019, 55(23): 222-227.