朱正月，陈增强

(1.安徽电子信息职业技术学院 信息与智能工程系，安徽 蚌埠 233030； 2.南开大学 计算机与控制工程学院，天津 300350)

物联网中的智慧溯源服务系统Petri网建模与分析

朱正月1,2，陈增强2

(1.安徽电子信息职业技术学院 信息与智能工程系，安徽 蚌埠 233030； 2.南开大学 计算机与控制工程学院，天津 300350)

物联网(IOT)为人类社会的智慧化进程提供了革命性的信息技术，已广泛应用于社会各个领域。智慧农业是物联网的重要应用领域之一，农产品溯源是智慧农业的一个典型应用。在学习Petri网理论的基础上，围绕物联网在智慧农业领域的应用实际，结合农产品溯源系统需求，设计了一个基于物联网技术的农产品智慧溯源服务系统架构，分析了系统的整体业务流程，建立了系统的Petri网模型。采用关联矩阵和不变量对所建模型的可达性、有界性、安全性和活性等性质进行了分析，使用PIPE工具进行了仿真验证，证明了模型系统的合理性、可靠性和健壮性。

物联网；农产品；溯源；智慧系统；Petri网；关联矩阵；不变量；仿真分析

物联网、云计算、大数据和移动互联网等新一代信息技术，为全球工业化、城市化、智能化进程提供了信息技术和智能技术支撑，物联网已被中国列入五大战略性新兴产业之一，在智能家居、智能农业、智能工业、智能交通、智能物流、智能环保、智能医疗、智能安防、智能电网等领域已有广泛应用[1]。其中，在智能农业领域的应用主要有农业环境监测、气象监测、温室控制、节水灌溉、产品安全溯源、设备智能诊断管理等方面，产品安全溯源是其中的一个重要应用。……