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

作者：郑文艳分层有色petri网仿真物流配送系统替代变迁

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社