冯 源，胡大伟

（长安大学 汽车学院，陕西 西安 710064）

1 引言

食品安全历来受到政府和市民的关注，而食品与冷链的结合使得新鲜、安全、健康的生活离我们更近。在冷冻和冷藏食品的配送过程中，冷链始于工厂的冷藏库，最终配送到各零售店。运输途中，装卸、搬运等配送环节会使食品处在非冷藏环境的机会较多[1]，所以配送环节是整个冷链物流环节的核心。缩短配送环节的时间，是确保食品安全的关键。

为提高冷链配送流程的效率，保证配送流程有效运行，一般通过对冷链配送流程的分析，建立相应配送模型予以优化。Petri网成为异步并发系统建模与分析的一种有效模型工具。首先，Petri网在描述并发、冲突、同步等重要行为现象上具有优势,且具有与数学图论相支持的理论严密性与形式化的步骤，特别是直观的图形表达和便于编程实现的技术特点[2]；另外，Petri网理论可以用来分析各种网络的结构和行为，也能够评价和提出改进系统的方法。自1962年Petri博士提出了Petri网理论以后，经过理论的不断发展，Petri网可应用的领域非常广泛，例如通信领域[3]，交通运输领域[4]，生产系统等等。Julie Drzymalski,N.G.Odrey[5]对供应链参考模型的一部分建立Petri网，用以对多层供应链实施监督；Zhi et al.[6]用Petri网建立煤炭供应链模型，描述物流和资金流。

但上述研究多集中在生产行业，对服务行业流程研究较少，且缺乏对模型的实验模拟，来分析系统的运行效率。采用Petri网建立冷链配送流程可视化模型，分析系统运行效率，无论对物流理论发展，还是物流实践应用领域都具有重要意义。……