摘要
构建一款基于Petri网的区块链农产品溯源系统模型.分析农产品溯源系统流程,建立基于Petri网的区块链农产品溯源系统模型.采用PIPE软件和PM4PY对Petri网模型的可靠性进行验证.验证结果表明,优化后的模型具有安全性、有界性、稳定性.
Construct a blockchain agricultural products traceability system model based on Petri net.Analyze the process of agricultural product traceability system and establish a blockchain agricultural product traceability system model based on Petri net.The reliability of the Petri net model is verified using PIPE software and PM4PY,and the verification results show that the optimized model has security,boundedness and stability.
作者
魏永鹏
陶小燕
WEI Yongpeng;TAO Xiaoyan(School of Mathematics and Big Data,Anhui University of Science and Technology,Huainan 232001,China;Anhui Province Engineering Laboratory for Big Data Analysis and Early Warning Technology of Coal Mine Safety,Huainan 232001,China)
出处
《牡丹江师范学院学报（自然科学版）》
2024年第1期1-4,共4页
Journal of Mudanjiang Normal University：Natural Sciences Edition
基金
国家自然科学基金资助项目(61572035)。
关键词
PETRI网
流程模型
区块链
农产品溯源
petri net
process model
block chain
traceability of agricultural products
