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

德州学院 计算机系，山东 德州 253023

德州学院 计算机系，山东 德州 253023

1 引言

着色 Petri网（Colored Petri Net，CPN）是由丹麦的Jensen Kurt于1982年在Petri网基础上定义的一种具有层次性的高级Petri网。CPN有机地结合了数据结构和层次分解，能同时用于验证系统功能、逻辑的正确性和评估系统的性能。此外，它还能自动地或交互地进行仿真。利用在计算机上开发的CPN的建模分析工具，可以建立描述系统的CPN静态模型，并对系统模型的动态行为进行仿真，分析系统的分布、并发、同步、异步等特性，以及建立系统模型的状态空间并分析系统的活性问题、可达性问题等。由于CPN具有严格的网理论形式化的数学描述、以上的特性以及建模工具提供的仿真分析功能，因此得到了广泛的应用[1-2]。

从物流来讲，配送几乎包括了所有的物流功能要素，是物流的一个缩影或在某小范围中物流全部活动的体现。一般的配送集装卸、包装、保管、运输于一身，通过这一系列活动完成将货物送达的目的。特殊的配送则还要以加工活动为支撑，所以包括的方面更广。配送实质是送货。配送是一种送货，但和一般送货有区别：一般送货可以是一种偶然的行为，而配送却是一种固定的形态，甚至是一种有确定组织、确定渠道，有一套装备和管理力量、技术力量，有一套制度的体制形式。

配送作业的总体目标可以简单地概括为7个适当，即在适当的时间、地点和适当的条件下，将适当的产品以适当的成本和方式提供给适当的客户。……