论文部分内容阅读
摘 要：基于Petri网构建网上订餐系统流程模型.建立源模型与目标模型表示二者的行为轮廓关系，对其变化域进行分析，利用添加配置变迁的方法优化模型.实验表明，优化后的网上订餐系统模型改变了模型的细粒度，与实际更为贴近，更能满足用户的需求.
关键词：Petri网；行为轮廓；变化域；网上订餐
[中图分类号]TP391.9 [文献标志码]A
Abstract：The process model of online ordering system based on Petri net is built. A source model and a target model are established to represent the behavior contour relationship between the two， and the change domain is analyzed. Experiments show that the optimized online ordering system model changes the fineness of the model， closer to reality， and better meets the needs of users.
Key words：Petri net； behavior profile； changing region； online ordering
随着社会的发展与进步，互联网技术取得了极其迅速的发展，给人们日常工作与生活带来了许多便利，使人们能够通过网络实现在线购物与预订.网络不仅给普通消费者带来了生活上的便利，也让许多商家从中发现了巨大的商机.如今许多实体餐饮店把生意做到了线上，提供网上订餐，让餐饮店线上线下同时运营，扩大了商业规模.人们通过网上在线订餐，能够足不出户享受到与实体餐饮店相同的美味佳肴.网上的店家数量极大，如何吸引客户成为在线餐饮的一个长久热点.一些商家在保证自己利润的基础上，给予顾客一定的优惠，以此吸引更多的客户，扩大目标群体，提升自己的利润率.如店家为了扩展新的客户，新用户首次下单给予一定折扣，以此来吸引新顾客的消费；让会员客户享受更大的折扣，以锁住老顾客.因此，顾客买相同菜品时，由于新老客户的不同，其享受的优惠也不同，最终所支付的金额也有所差异.在Petri网理论中，这些变化称之为变化域.国内外许多学者在业务流程的变化域方面做了大量的研究，利用Petri网构建模型，分析业务流程的活性以及其可达性，确保系统的良好运行.Armas-Cervantes A[2]认为，业务流程的行为与其特定的流程接口必须保持一致，确保接口流程开始的点能指向新的服务，这样才能保证每个流程服务都能够实现，实现一致性表达.Weidlich M[3]指出，将目标模型与源模型相互比对的方法可以找到引发异常行为的变化域. Rinderle S[4]的研究结果表明，行为轮廓一致性的概念相比较迹等价而言要弱，且行为轮廓一致性是允许变化传播的.本文建立源模型与目标模型，表示二者的行为轮廓关系，对其变化域进行分析，利用添加配置变迁的方法优化模型.
为了使目标模型的变化域得到优化处理，需要引入控制节点使模型得到进一步优化.从图3与图4中可以详细查看行为轮廓关系.对网上订餐源模型优化后得到图2（目标模型），依據模型活动间的约束关系.得到图4所示的行为变化区域.图4中用虚线框出区域即为其行为轮廓变化区域.图5即为目标模型变化域W0.在目标模型中，增加了t9，t10，t11变迁，配置变迁的增加，使得整个流程模型得到优化，模型的细粒度得到改善.图4虚线区域中变迁的增加，使变化域得到提高.餐饮商家可以通过对新老顾客与会员顾客不同的优惠，让不同消费者在网上订餐时享受相应的折扣，既能刺激不同层级消费者的不断消费，也能够维持客户的忠诚度.
3 结束语
基于Petri网构建了网上订餐系统流程模型.运用Petri网的可达性并分析其行为轮廓，依据Petri网流程模型运行规则，通过添加相关的控制结构，得到目标模型.业务流程中重要的内容之一就是对变化域的研究，因此发现变化域并且对其进行优化处理，对提高模型活性以及安全性等性能有着非常重要的作用.本文根据行为轮廓关系以及发生的位置变化，结合实际情况，改变模型结构，使模型在变化域以及细粒度方面得到改善.
参考文献
[1] 吴哲辉.Petri网理论[M].北京：机械工业出版社，2006.6-22.
[2] Armas-Cervantes A，Baldan P，Dumas M， et al. Diagnosing behavioral differences between business process models[J].Information Systems，2016，56：304-325.
[3] Weidlich M， Weske M，Mendling J. Change propagation in process models using behavioural profiles [A].2009 IEEE International conference on Services computing，2009：32-40.
[4] Rinderle S， Reichert M， Dadam P. Correctness criteria for dynamic changes in workflow systems-a survey [J]. Data &Knowledge Engineering，2004，50（50）：2-10.
[5] 贾小贝，方欢.基于时延Petri网的网络日志行为相似性分析[J].牡丹江师范学院学报：自然科学版，2017（4）：6-10. [6] Ehrig M， Koschmider A，Oberweis A. Measuring similarity between semantic Business ProcessModels.[A].Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling [C]. Conceptual Modelling，2007：70-79.
[7] Van d A W M P， Reijers H A， Weijters A J M M， et al. Business process mining： An industrial application[J]. Information Systems， 2007， 32（5）：713-732.
[8] Mathias Weidlich， Mahias Weske， Jan Mendling. Change propagation in process models using behavioural profiles： Services Computing. Potsdam 2009[C]. Bangalore： IEEE Conference Publications， 2009：33-40.
[9] 劉红，方贤文，刘祥伟.基于行为轮廓的酒店预订系统变化域分析[J].长春师范大学学报，2016，35（8）：45-50.
[10] Jensen M T. Improving robustness and flexibility of tardiness and total flow-time job shops using robustness measures[J]. Applied Soft Computing， 2001， 1（1）：35-52.
[11] 孙书亚，方欢.共享雨伞使用流程的Petri网模型优化分析[J].牡丹江师范学院学报：自然科学版，2018（1）：14-17.
[12] 贾小贝，方欢.基于时延Petri网的网络日志行为相似性分析[J].牡丹江师范学院学报：自然科学版，2017（4）：6-10.
编辑：吴楠
关键词：Petri网；行为轮廓；变化域；网上订餐
[中图分类号]TP391.9 [文献标志码]A
Abstract：The process model of online ordering system based on Petri net is built. A source model and a target model are established to represent the behavior contour relationship between the two， and the change domain is analyzed. Experiments show that the optimized online ordering system model changes the fineness of the model， closer to reality， and better meets the needs of users.
Key words：Petri net； behavior profile； changing region； online ordering
随着社会的发展与进步，互联网技术取得了极其迅速的发展，给人们日常工作与生活带来了许多便利，使人们能够通过网络实现在线购物与预订.网络不仅给普通消费者带来了生活上的便利，也让许多商家从中发现了巨大的商机.如今许多实体餐饮店把生意做到了线上，提供网上订餐，让餐饮店线上线下同时运营，扩大了商业规模.人们通过网上在线订餐，能够足不出户享受到与实体餐饮店相同的美味佳肴.网上的店家数量极大，如何吸引客户成为在线餐饮的一个长久热点.一些商家在保证自己利润的基础上，给予顾客一定的优惠，以此吸引更多的客户，扩大目标群体，提升自己的利润率.如店家为了扩展新的客户，新用户首次下单给予一定折扣，以此来吸引新顾客的消费；让会员客户享受更大的折扣，以锁住老顾客.因此，顾客买相同菜品时，由于新老客户的不同，其享受的优惠也不同，最终所支付的金额也有所差异.在Petri网理论中，这些变化称之为变化域.国内外许多学者在业务流程的变化域方面做了大量的研究，利用Petri网构建模型，分析业务流程的活性以及其可达性，确保系统的良好运行.Armas-Cervantes A[2]认为，业务流程的行为与其特定的流程接口必须保持一致，确保接口流程开始的点能指向新的服务，这样才能保证每个流程服务都能够实现，实现一致性表达.Weidlich M[3]指出，将目标模型与源模型相互比对的方法可以找到引发异常行为的变化域. Rinderle S[4]的研究结果表明，行为轮廓一致性的概念相比较迹等价而言要弱，且行为轮廓一致性是允许变化传播的.本文建立源模型与目标模型，表示二者的行为轮廓关系，对其变化域进行分析，利用添加配置变迁的方法优化模型.
为了使目标模型的变化域得到优化处理，需要引入控制节点使模型得到进一步优化.从图3与图4中可以详细查看行为轮廓关系.对网上订餐源模型优化后得到图2（目标模型），依據模型活动间的约束关系.得到图4所示的行为变化区域.图4中用虚线框出区域即为其行为轮廓变化区域.图5即为目标模型变化域W0.在目标模型中，增加了t9，t10，t11变迁，配置变迁的增加，使得整个流程模型得到优化，模型的细粒度得到改善.图4虚线区域中变迁的增加，使变化域得到提高.餐饮商家可以通过对新老顾客与会员顾客不同的优惠，让不同消费者在网上订餐时享受相应的折扣，既能刺激不同层级消费者的不断消费，也能够维持客户的忠诚度.
3 结束语
基于Petri网构建了网上订餐系统流程模型.运用Petri网的可达性并分析其行为轮廓，依据Petri网流程模型运行规则，通过添加相关的控制结构，得到目标模型.业务流程中重要的内容之一就是对变化域的研究，因此发现变化域并且对其进行优化处理，对提高模型活性以及安全性等性能有着非常重要的作用.本文根据行为轮廓关系以及发生的位置变化，结合实际情况，改变模型结构，使模型在变化域以及细粒度方面得到改善.
参考文献
[1] 吴哲辉.Petri网理论[M].北京：机械工业出版社，2006.6-22.
[2] Armas-Cervantes A，Baldan P，Dumas M， et al. Diagnosing behavioral differences between business process models[J].Information Systems，2016，56：304-325.
[3] Weidlich M， Weske M，Mendling J. Change propagation in process models using behavioural profiles [A].2009 IEEE International conference on Services computing，2009：32-40.
[4] Rinderle S， Reichert M， Dadam P. Correctness criteria for dynamic changes in workflow systems-a survey [J]. Data &Knowledge Engineering，2004，50（50）：2-10.
[5] 贾小贝，方欢.基于时延Petri网的网络日志行为相似性分析[J].牡丹江师范学院学报：自然科学版，2017（4）：6-10. [6] Ehrig M， Koschmider A，Oberweis A. Measuring similarity between semantic Business ProcessModels.[A].Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling [C]. Conceptual Modelling，2007：70-79.
[7] Van d A W M P， Reijers H A， Weijters A J M M， et al. Business process mining： An industrial application[J]. Information Systems， 2007， 32（5）：713-732.
[8] Mathias Weidlich， Mahias Weske， Jan Mendling. Change propagation in process models using behavioural profiles： Services Computing. Potsdam 2009[C]. Bangalore： IEEE Conference Publications， 2009：33-40.
[9] 劉红，方贤文，刘祥伟.基于行为轮廓的酒店预订系统变化域分析[J].长春师范大学学报，2016，35（8）：45-50.
[10] Jensen M T. Improving robustness and flexibility of tardiness and total flow-time job shops using robustness measures[J]. Applied Soft Computing， 2001， 1（1）：35-52.
[11] 孙书亚，方欢.共享雨伞使用流程的Petri网模型优化分析[J].牡丹江师范学院学报：自然科学版，2018（1）：14-17.
[12] 贾小贝，方欢.基于时延Petri网的网络日志行为相似性分析[J].牡丹江师范学院学报：自然科学版，2017（4）：6-10.
编辑：吴楠