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

Modeling and Optimization of Blockchain Agricultural Product Traceability System based on Petri Network

魏永鹏 陶小燕

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

Modeling and Optimization of Blockchain Agricultural Product Traceability System based on Petri Network

魏永鹏 1陶小燕2
扫码查看

作者信息

  • 1. 安徽理工大学数学与大数据学院,安徽淮南 232001;安徽省煤矿安全大数据分析与预警技术工程实验室,安徽淮南 232001
  • 2. 安徽理工大学数学与大数据学院,安徽淮南 232001
  • 折叠

摘要

构建一款基于Petri网的区块链农产品溯源系统模型.分析农产品溯源系统流程,建立基于Petri网的区块链农产品溯源系统模型.采用PIPE软件和PM4PY对Petri网模型的可靠性进行验证.验证结果表明,优化后的模型具有安全性、有界性、稳定性.

Abstract

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网/流程模型/区块链/农产品溯源

Key words

petri net/process model/block chain/traceability of agricultural products

引用本文复制引用

基金项目

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

出版年

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

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

影响因子:0.426
ISSN:1003-6180
参考文献量6
段落导航相关论文