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

Accuracy of modeling in logistics systems based on hierarchy CPN

作　　者：郑文艳[1] 

机构地区：[1]德州学院计算机系,山东德州253023

出　　处：《计算机工程与应用》2013年第11期228-231,共4页Computer Engineering and Applications

摘　　要：利用分层有色Petri网建立物流配送模型,一方面减少了建立模型的复杂性,另一方面为模型正确性的证明提供了数据支持。对所建模型进行仿真获得的数据,可以从四个方面确保模型的正确性。使用分层有色Petri网进行层次化设计不仅可以增加模型的直观性而且降低了模型的复杂性,在确保模型正确性的同时也为物流仿真软件体系结构的模块化建立了良好的基础。The modeling of logistics systems are completed by the tools of hierarchy coloured Petri net. It can reduce the com- plexity of modeling and provide data got by the simulation of the model. The data can be used in four aspects to prove the cor- rectness 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.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]