基于Petri網行為輪廓的網上訂餐系統變化域分析

董佳佳　劉祥偉

摘 要：基于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.

編輯：吳楠