基于Petri网的拼团流程模型优化及验证分析  

Optimization and Validation Analysis of Pelletized Process Model Based on Petri Net

作　　者：杨慧慧 YANG Hui-hui(College of Mathematics and Big Data, Anhui University of Science and Technology, Huainan Anhui 232001,China)

机构地区：[1]安徽理工大学数学与大数据学院

出　　处：《佳木斯大学学报（自然科学版）》2019年第5期711-714,747,共5页Journal of Jiamusi University：Natural Science Edition

基　　金：国家自然科学基金项目(61402011)

摘　　要：目前,越来越多的人倾向于拼团购物,从而获得以优惠价格购买商品的资格。在拼团流程中,为了实现顾客与商家互利共赢,并尽可能的满足顾客需求,为顾客提供更多的选择性,本文针对拼团流程模型进行优化分析。首先给出了基本的拼团流程模型。其次,构建了使用新功能卡的流程模型,然后通过分析流程模型中活动间间接的交互关系,将两个流程模型合并,同时增加相关的控制结构对其进行优化。最后基于Petri网化简的方法利用可达标识图验证了流程模型优化的合理有效性。At present, more and more people tend to group shopping, so as to get the qualification to buy goods at a favorable price. In the group-forming process, in order to achieve mutual benefit and win-win between customers and merchants, and to meet customers' needs as much as possible and provide customers with more options, this paper conducts optimization analysis on the group-forming process model. At first, the basic process model is given. Secondly, the process model using the new function card is constructed, and then the two process models are merged by analyzing the indirect interaction between activities in the process model, and the related control structure is added to optimize it. Finally, the method based on Petri net simplification verifies the rationality and effectiveness of process model optimization by using reachable identification graph.

关 键 词：PETRI网 合并 优化 模型化简 可达标识图 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]