基于Petri網(wǎng)行為輪廓的網(wǎng)上訂餐系統(tǒng)變化域分析

董佳佳　劉祥偉

摘 要：基于Petri網(wǎng)構建網(wǎng)上訂餐系統(tǒng)流程模型.建立源模型與目標模型表示二者的行為輪廓關系，對其變化域進行分析，利用添加配置變遷的方法優(yōu)化模型.實驗表明，優(yōu)化后的網(wǎng)上訂餐系統(tǒng)模型改變了模型的細粒度，與實際更為貼近，更能滿足用戶的需求.

關鍵詞：Petri網(wǎng)；行為輪廓；變化域；網(wǎng)上訂餐

[中圖分類號]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

隨著社會的發(fā)展與進步，互聯(lián)網(wǎng)技術取得了極其迅速的發(fā)展，給人們?nèi)粘９ぷ髋c生活帶來了許多便利，使人們能夠通過網(wǎng)絡實現(xiàn)在線購物與預訂.網(wǎng)絡不僅給普通消費者帶來了生活上的便利，也讓許多商家從中發(fā)現(xiàn)了巨大的商機.如今許多實體餐飲店把生意做到了線上，提供網(wǎng)上訂餐，讓餐飲店線上線下同時運營，擴大了商業(yè)規(guī)模.人們通過網(wǎng)上在線訂餐，能夠足不出戶享受到與實體餐飲店相同的美味佳肴.網(wǎng)上的店家數(shù)量極大，如何吸引客戶成為在線餐飲的一個長久熱點.一些商家在保證自己利潤的基礎上，給予顧客一定的優(yōu)惠，以此吸引更多的客戶，擴大目標群體，提升自己的利潤率.如店家為了擴展新的客戶，新用戶首次下單給予一定折扣，以此來吸引新顧客的消費；讓會員客戶享受更大的折扣，以鎖住老顧客.因此，顧客買相同菜品時，由于新老客戶的不同，其享受的優(yōu)惠也不同，最終所支付的金額也有所差異.在Petri網(wǎng)理論中，這些變化稱之為變化域.國內(nèi)外許多學者在業(yè)務流程的變化域方面做了大量的研究，利用Petri網(wǎng)構建模型，分析業(yè)務流程的活性以及其可達性，確保系統(tǒng)的良好運行.Armas-Cervantes A[2]認為，業(yè)務流程的行為與其特定的流程接口必須保持一致，確保接口流程開始的點能指向新的服務，這樣才能保證每個流程服務都能夠?qū)崿F(xiàn)，實現(xiàn)一致性表達.Weidlich M[3]指出，將目標模型與源模型相互比對的方法可以找到引發(fā)異常行為的變化域. Rinderle S[4]的研究結(jié)果表明，行為輪廓一致性的概念相比較跡等價而言要弱，且行為輪廓一致性是允許變化傳播的.本文建立源模型與目標模型，表示二者的行為輪廓關系，對其變化域進行分析，利用添加配置變遷的方法優(yōu)化模型.

為了使目標模型的變化域得到優(yōu)化處理，需要引入控制節(jié)點使模型得到進一步優(yōu)化.從圖3與圖4中可以詳細查看行為輪廓關系.對網(wǎng)上訂餐源模型優(yōu)化后得到圖2（目標模型），依據(jù)模型活動間的約束關系.得到圖4所示的行為變化區(qū)域.圖4中用虛線框出區(qū)域即為其行為輪廓變化區(qū)域.圖5即為目標模型變化域W0.在目標模型中，增加了t9，t10，t11變遷，配置變遷的增加，使得整個流程模型得到優(yōu)化，模型的細粒度得到改善.圖4虛線區(qū)域中變遷的增加，使變化域得到提高.餐飲商家可以通過對新老顧客與會員顧客不同的優(yōu)惠，讓不同消費者在網(wǎng)上訂餐時享受相應的折扣，既能刺激不同層級消費者的不斷消費，也能夠維持客戶的忠誠度.

3 結(jié)束語

基于Petri網(wǎng)構建了網(wǎng)上訂餐系統(tǒng)流程模型.運用Petri網(wǎng)的可達性并分析其行為輪廓，依據(jù)Petri網(wǎng)流程模型運行規(guī)則，通過添加相關的控制結(jié)構，得到目標模型.業(yè)務流程中重要的內(nèi)容之一就是對變化域的研究，因此發(fā)現(xiàn)變化域并且對其進行優(yōu)化處理，對提高模型活性以及安全性等性能有著非常重要的作用.本文根據(jù)行為輪廓關系以及發(fā)生的位置變化，結(jié)合實際情況，改變模型結(jié)構，使模型在變化域以及細粒度方面得到改善.

參考文獻

[1] 吳哲輝.Petri網(wǎng)理論[M].北京：機械工業(yè)出版社，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網(wǎng)的網(wǎng)絡日志行為相似性分析[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] 劉紅，方賢文，劉祥偉.基于行為輪廓的酒店預訂系統(tǒng)變化域分析[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網(wǎng)模型優(yōu)化分析[J].牡丹江師范學院學報：自然科學版，2018（1）：14-17.

[12] 賈小貝，方歡.基于時延Petri網(wǎng)的網(wǎng)絡日志行為相似性分析[J].牡丹江師范學院學報：自然科學版，2017（4）：6-10.

編輯：吳楠