董佳佳　劉祥偉

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

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

[中圖分類號(hào)]TP391.9 [文獻(xiàn)標(biāo)志碼]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

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

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

3 結(jié)束語

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

參考文獻(xiàn)

[1] 吳哲輝.Petri網(wǎng)理論[M].北京：機(jī)械工業(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] 賈小貝，方歡.基于時(shí)延Petri網(wǎng)的網(wǎng)絡(luò)日志行為相似性分析[J].牡丹江師范學(xué)院學(xué)報(bào)：自然科學(xué)版，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] 劉紅，方賢文，劉祥偉.基于行為輪廓的酒店預(yù)訂系統(tǒng)變化域分析[J].長(zhǎng)春師范大學(xué)學(xué)報(bào)，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].牡丹江師范學(xué)院學(xué)報(bào)：自然科學(xué)版，2018（1）：14-17.

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

編輯：吳楠