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

摘要：

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

关键词：区块链、电商冷链、溯源、Petri网、关联矩阵

分类号：F724.2(中国国内贸易经济)

资助基金：福建省社会科学规划项目“‘区块链+’食品溯源解决方案建议及对策研究”项目编号:FJ2018B020

在线出版日期：2020-04-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：48-55