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