|
|||||
|
|
| 基于Petri网的购物储值卡流程模型优化 | |
| 作者姓名： | 杨璨 陶小燕 |
| 作者单位： | 安徽理工大学数学与大数据学院 |
| 基金项目： | 国家自然科学基金资助项目(61402011)； |
| 摘 要： | 提出基于Petri网的购物储值卡流程优化方法.通过分析模型中各种行为之间的关系，查找现有购物储值卡模型存在的问题，通过增加相关的控制结构对其进行优化，使得优化之后模型具有安全性、有界性等性质，实现购物储值卡的实名化和可挂失. |
| 关 键 词： | Petri网 行为轮廓 流程模型 储值卡模型优化 |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |