袁红春, 丛斯琳

(上海海洋大学 信息学院,上海 201306)



Petri网的水产品溯源系统模型*

袁红春, 丛斯琳

(上海海洋大学 信息学院,上海 201306)

提出了一种基于射频识别(RFID)的Petri网在水产品全程质量追踪和溯源系统应用的方法，以构建高效的基于物联网技术的水产品溯源与安全预警平台。根据实际水产品业务流和信息流，利用Petri网进行建模，然后在CPN Tools环境进行仿真。仿真结果表明：该建模方法简单、可行,能够验证工作流模型的有效性,而且便于计算机形式化表达和优化分析,有利于工作流管理系统的实现和性能提高，一定程度上提高了供应链的效率，从而降低了流通的成本和质量风险。

溯源； 射频识别； Petri网； 物联网

0　引　言

目前对Petri网的主要研究有对自动化监测系统利用知识Petri网建模，最终建立在线监测系统[1]；在制造业领域中，用不同的颜色标记产品的实时状态信息，最终实现分布式制造系统的监控[2]；国内学者主要利用Petri网对其追溯信息建模，以确保业务流程中物流、信息流的一致[3]。上述这些研究主要是用于业务处理模型的正确性或合理性的验证；但如何根据现实生活当中不同应用的业务流程特点，对业务的工作流原型进行Petri网建模并优化、从而提高工作流的执行效率的研究并不多见。

本文分析了目前水产品(大闸蟹)养殖、物流业务流程中存在的主要问题，并结合了BPI[4]和Petri网理论，从产品配送的角度出发，基于物联网概念和管理一体化思想，创建了基于Petri网的水产品溯源系统的建模和模型优化方法。……