首页|基于Petri网的区块链农产品溯源系统建模与优化

基于Petri网的区块链农产品溯源系统建模与优化

扫码查看
构建一款基于Petri网的区块链农产品溯源系统模型.分析农产品溯源系统流程,建立基于Petri网的区块链农产品溯源系统模型.采用PIPE软件和PM4PY对Petri网模型的可靠性进行验证.验证结果表明,优化后的模型具有安全性、有界性、稳定性.
Modeling and Optimization of Blockchain Agricultural Product Traceability System based on Petri Network
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.

petri netprocess modelblock chaintraceability of agricultural products

魏永鹏、陶小燕

展开 >

安徽理工大学数学与大数据学院,安徽淮南 232001

安徽省煤矿安全大数据分析与预警技术工程实验室,安徽淮南 232001

Petri网 流程模型 区块链 农产品溯源

国家自然科学基金资助项目

61572035

2024

牡丹江师范学院学报(自然科学版)
牡丹江师范学院

牡丹江师范学院学报(自然科学版)

影响因子:0.426
ISSN:1003-6180
年,卷(期):2024.(1)
  • 6