基于CPN的物流配送系統模型正確性的證明

德州學院 計算機系，山東 德州 253023

德州學院 計算機系，山東 德州 253023

1 引言

著色 Petri網（Colored Petri Net，CPN）是由丹麥的Jensen Kurt于1982年在Petri網基礎上定義的一種具有層次性的高級Petri網。CPN有機地結合了數據結構和層次分解，能同時用于驗證系統功能、邏輯的正確性和評估系統的性能。此外，它還能自動地或交互地進行仿真。利用在計算機上開發的CPN的建模分析工具，可以建立描述系統的CPN靜態模型，并對系統模型的動態行為進行仿真，分析系統的分布、并發、同步、異步等特性，以及建立系統模型的狀態空間并分析系統的活性問題、可達性問題等。由于CPN具有嚴格的網理論形式化的數學描述、以上的特性以及建模工具提供的仿真分析功能，因此得到了廣泛的應用[1-2]。

從物流來講，配送幾乎包括了所有的物流功能要素，是物流的一個縮影或在某小范圍中物流全部活動的體現。一般的配送集裝卸、包裝、保管、運輸于一身，通過這一系列活動完成將貨物送達的目的。特殊的配送則還要以加工活動為支撐，所以包括的方面更廣。配送實質是送貨。配送是一種送貨，但和一般送貨有區別：一般送貨可以是一種偶然的行為，而配送卻是一種固定的形態，甚至是一種有確定組織、確定渠道，有一套裝備和管理力量、技術力量，有一套制度的體制形式。

配送作業的總體目標可以簡單地概括為7個適當，即在適當的時間、地點和適當的條件下，將適當的產品以適當的成本和方式提供給適當的客戶。……