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

PDF下载HTML

Title:

Petri net modeling and analysis of an intelligent traceabilityservice system based on the Internet of Things

作者:

朱正月^1,2, 陈增强²

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

Author(s):

ZHU Zhengyue^1,2, CHEN Zengqiang²

1. Department of Information and Intelligent Engineering, Anhui Vocational College of Electronics and Information Technology, Bengbu 233030, China;
2. College of Computer and Control Engineering, Nankai University, Tianjin 300350, China

关键词:

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

Keywords:

Internet of Things; agricultural product; traceability; intelligent system; Petri nets; incidence matrix; invariants; simulation analysis

分类号:

TP391

DOI:

10.11992/tis.201611031

摘要:

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

Abstract:

Applied in different fields, the Internet of Things (IOT) offers revolutionary information technology that can aid the development of human knowledge. Intelligent agriculture is one of the important applications of the IOT and the traceability of agricultural products is one of its typical applications. In this paper, based on the Petri nets theory and the requirements of agricultural product traceability, an intelligent traceability service system of agricultural products, based on IOT technology, is designed. The overall business process of the system is analyzed and a Petri model of the system constructed. An incidence matrix and invariants are adopted to analyze the properties of the Petri net model, which are reachable, bounded, safe, and live. The PIPE tool is applied for simulation and verification, which proves that the model system is rational, reliable, and robust.