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

• 工程与应用 • 上一篇    下一篇

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

郑文艳   

  1. 德州学院 计算机系,山东 德州 253023
  • 出版日期:2013-06-01 发布日期:2013-06-14

Accuracy of modeling in logistics systems based on hierarchy CPN

ZHENG Wenyan   

  1. Department of Computer Science and Technology, Dezhou University, Dezhou, Shandong 253023, China
  • Online:2013-06-01 Published:2013-06-14

摘要: 利用分层有色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