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