基于Petri网的购物储值卡流程模型优化

作者：杨璨; 陶小燕^*

来源：牡丹江师范学院学报(自然科学版), 2022, (03): 13-16.

DOI：10.13815/j.cnki.jmtc(ns).2022.03.011

• Petri网
• 行为轮廓
• 流程模型
• 储值卡模型优化

提出基于Petri网的购物储值卡流程优化方法.通过分析模型中各种行为之间的关系，查找现有购物储值卡模型存在的问题，通过增加相关的控制结构对其进行优化，使得优化之后模型具有安全性、有界性等性质，实现购物储值卡的实名化和可挂失.

• 单位
  安徽理工大学