10.3778/j.issn.1002-8331.1209-0170
基于CPN的物流配送系统模型正确性的证明
利用分层有色Petri网建立物流配送模型,一方面减少了建立模型的复杂性,另一方面为模型正确性的证明提供了数据支持.对所建模型进行仿真获得的数据,可以从四个方面确保模型的正确性.使用分层有色Petri网进行层次化设计不仅可以增加模型的直观性而且降低了模型的复杂性,在确保模型正确性的同时也为物流仿真软件体系结构的模块化建立了良好的基础.
分层有色Petri网、仿真、物流配送系统、替代变迁
49
TP301(计算技术、计算机技术)
2013-07-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
228-231