Petri网在STM32主函数程序编写方法中的应用  

Method for Writing STM32 Main Function Programs based on Petri net

作　　者：孙霞[1] 缪玉婷 赵厚群 张坤乾 张洁 SUN Xia;MIAO Yuting;ZHAO Houqun;ZHANG Kunqian;ZHANG Jie(School of Electrical and Information Engineering,Anhui University of Science and Technology,Huainan 232001,China)

机构地区：[1]安徽理工大学电气与信息工程学院,安徽淮南232001

出　　处：《牡丹江师范学院学报（自然科学版）》2023年第4期18-22,共5页Journal of Mudanjiang Normal University：Natural Sciences Edition

基　　金：国家自然科学基金项目(51874010);安徽省教育厅项目(GXFXZD2016071)。

摘　　要：利用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.

关 键 词：主函数 STM32 PETRI网 程序编写 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]