基于CPN的物流配送系统模型正确性的证明-CEA-计算机工程与应用.PDFVIP

228 2013 ，49 （11） Computer Engineering and Applications 计算机工程与应用 基于CPN 的物流配送系统模型正确性的证明 郑文艳 ZHENG Wenyan 德州学院 计算机系，山东 德州 253023 Department of Computer Science and Technology, Dezhou University, Dezhou, Shandong 253023, China ZHENG Wenyan. Accuracy of modeling in logistics systems based on hierarchy CPN. Computer Engineering and Appli- cations, 2013, 49 （11）：228-231. Abstract ：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. Key words ：hierarchy coloured Petri net; simulation; logistics systems; substitute transition 摘 要：利用分层有色Petri 网建立物流配送模型，一方面减少了建立模型的复杂性，另一方面为模型正确性的证明提供了 数据支持。对所建模型进行仿真获得的数据，可以从四个方面确保模型的正确性。使用分层有色Petri 网进行层次化设计 不仅可以增加模型的直观性而且降低了模型的复杂性，在确保模型正确性的同时也为物流仿真软件体系结构的模块化建 立了良好的基础。 关键词：分层有色Petri 网；仿真；物流配送系统；替代变迁 文献标志码：A 中图分类号：TP301 doi ：10.3778/j.issn. 1002-8331.1209-0170 1 引言 以是一种偶然的行为，而配送却是一种固定的形态，甚至 着色Petri 网（Colored Petri Net ，CPN ）是由丹麦的 是一种有确定组织、确定渠道，有一套装备和管理力量、技 Jensen Kurt 于1982年在Petri 网基础上定义的一种具有层 术力量，有一套制度的体制形式。 次性的高级Petri 网。CPN 有机地结合了数据结构和层次 配送作业的总体目标可以简单地概括为7 个适当，即 分解，能同时用于验证系统功能、逻辑的正确性和评估系 在适当的时间、地点和适当的条件下，将适当的产品以适 统的性能。此外，它还能自动地或交互地进行仿真。利用 当的成本和方式提供给适当的客户。配送功能的7 要素为 [3-5] 在计算机上开发的CPN 的建模分析工具，可以建立描述系 货物、客户、运输工具、人员、路线、目的地和时间 。 统的CPN 静态模型，并对系统模型的动态行为进行仿真， 分析系统的分布、并发、同步、异步等特性，以及建立系统 2 物流配送模型的研究现状 模型的状态空间并分析系统的活性问题、可达性问题等。