彭珂，方贤文，王丽丽

(安徽理工大学数学与大数据学院，安徽 淮南 232001)

基于Petri网行为轮廓的网上订餐系统变化域分析

彭珂，方贤文，王丽丽

(安徽理工大学数学与大数据学院，安徽 淮南 232001)

变化域分析是业务流程管理的一项重要的研究内容。以网上订餐某APP为例，基于Petri网的行为轮廓概念，对顾客和商家交互模型中因营销策略引起的下单行为进行分析研究：首先通过行为相似性度量中采用的行为轮廓矩阵原理对比源模型与目标模型变迁对之间的行为关系，找出模型中的变化域；其次通过在变化域中配置变量变迁，达到变化域优化的目的，大大降低了业务流程产生死锁的可能。相比于源模型与目标模型，根据行为轮廓矩阵原理对比得出目标模型的变化域之后，引入了变量变迁进行配置以保证经过优化后的最终模型可以为组织或企业中不同的利益相关者提供模型中的信息，优化后的模型更能符合用户要求，最终使其更符合面向业务流程的需求。

Petri网；行为轮廓；网上订餐；变化域；变量变迁

现今，随着网络业务的急速发展和进步，不断涌现出各种业务进程系统，人们对业务流程管理的技术要求也不断提升。由于从业务进程系统转换而来的流程模型与单一的理论模型不能很好的匹配，所以若是想要更好的实现业务流程管理，必须要找出变化区域并对其进行优化以获得与实际相符的模型。

目前关于业务流程变化域有许多研究：文献[1]从变化分类角度来动态评估变化域对整个流程系统的影响；……