区块链中电商冷链溯源系统Petri网建模与分析

华东交通大学交通运输与物流学院;华东交通大学高铁与区域经济发展研究中心;福建商学院工商管理学院;摘要电商的快速发展,为冷链产品开辟了新的流通路径,冷链电商市场成为新的增长点。同时,食品安全问题已成为人们关注的焦点,食品若不安全会影响社会经济的发展,威胁人们的身心健康。本文基于Petri(佩特里)网理论,围绕区块链技术在物流溯源领域应用的实际情况,分析了冷链溯源系统的整体业务流程,建立了冷链溯源系统的Petri网模型,利用关联矩阵和不变量分析模型的有界性、可达性、活性和安全性,并使用HIPS工具,进行了仿真验证。设计了基于区块链技术的电商冷链溯源系统,为实现全民监督,保障电商冷链食品质量安全和精准定位,提供了有效的途径。研究对降低电商冷链企业运营成本和农民增收具有理论价值和实践意义。

With the rapid development of e-commerce,a new circulation path has been opened for cold-chain products,and the cold-chain e-commerce market has become a new growth point that needs to be developed.In recent years,food safety has become the focus of people’s attention.Food safety not only affects the development of social economy,but also poses a serious threat to people’s physical and mental health.Based on Petri net theory,this paper analyzes the cold chain traceability system of the whole business process based on the application of block chain technology in logistics traceability field,establishes the cold chain traceability system of Petri net model,and performs the simulation validation by using the boundedness,accessibility,activity and safety of the correlation matrix and invariant analysis model and using the HIPS tools.Under the guidance of the model,the architecture of e-commerce cold chain traceability system based on block chain technology is designed,which provides an effective way to realize nationwide supervision to guarantee the quality safety and accurate positioning of e-commerce cold chain food.It is of theoretical and practical significance to reduce the operating cost of e-commerce cold-chain enterprises and increase farmers’income.