基于Petri網(wǎng)的拼單購物流程模型優(yōu)化分析

何子賢 劉祥偉

摘 要：通過Petri網(wǎng)進行形式化建模，優(yōu)化網(wǎng)上拼單購物業(yè)務(wù)流程模型.分析拼單購物的實際情況，給出業(yè)務(wù)流程Petri網(wǎng)模型，查找流程存在缺陷.根據(jù)行為輪廓理論增加相應(yīng)的結(jié)構(gòu)變遷與庫所，優(yōu)化購物環(huán)節(jié)，使顧客拼單購物更加方便、省時.

關(guān)鍵詞：Petri網(wǎng);行為輪廓;網(wǎng)絡(luò)拼單購物

[中圖分類號]TP391.9 ? [文獻(xiàn)標(biāo)志碼]A

Abstract：Through the formal modeling of Petri net，the business process model of online shopping is optimized.This paper analyzes the actual situation of order shopping，gives the business process Petri net model to find the defects in the process;according to the behavior contour theory，it increases the corresponding structure changes and the storehouse，optimizes the shopping links，and makes the shopping more convenient and time-saving.

Key words：Petri net;Behavioral profile;online order shopping

目前，越來越多的人關(guān)注行為輪廓建模優(yōu)化研究課題，借助Petri網(wǎng)及行為輪廓知識進行模型優(yōu)化成為其中的一項重要手段.劉磊[1]等提出基于Petri網(wǎng)進行工作流模型構(gòu)建和分析的理論，根據(jù)其運行特點和優(yōu)勢提出系統(tǒng)歸約化簡的方法.潘啟澍[2]選擇 Petri網(wǎng)作為工作流建模的主要工具，研究了基于Petri網(wǎng)的工作流建模技術(shù).宋健[3]等通過對Petri網(wǎng)業(yè)務(wù)流程模型的分析，建立行為輪廓矩陣，找出模型中的變化域.郭圓圓[4]等提出了尋找業(yè)務(wù)流程變化域的方法，在源模型和目標(biāo)模型之間，通過給定業(yè)務(wù)流程模型中疑似變化點，確定分析模型的變化域.王倩倩[5]等提出了一種基于Petri網(wǎng)行為輪廓的網(wǎng)上購物流程挖掘方法，利用Petri網(wǎng)行為輪廓的弱序關(guān)系，對初始模型進行改進和優(yōu)化.邵叱風(fēng)[6]等提出一種新方法對業(yè)務(wù)流程進行優(yōu)化，該方法通過實際業(yè)務(wù)流程的研究案例及比較實驗進行評估，其結(jié)果表明關(guān)聯(lián)并行優(yōu)化，可明顯縮短實際業(yè)務(wù)流程耗時.拼多多的經(jīng)營模式是一種網(wǎng)上團購的模式，以團購價來購買某件商品.拼多多拼團分別付款，分別發(fā)貨，不能一次性付兩件不同東西的款;沒有類似購物車的選項，要是要買想兩件東西就要付兩次款.筆者重點分析顧客在拼多多一次購買多樣物品的情形，在Petri網(wǎng)[9]的基礎(chǔ)上，對拼單購物模型的拼單選購環(huán)節(jié)進行優(yōu)化，對優(yōu)化后的模型進行一致性、合理性分析，優(yōu)化購物環(huán)節(jié)，使顧客拼單購物更加方便、省時.

2 基于petri網(wǎng)的拼單購物流程建模優(yōu)化分析

利用Petri網(wǎng)對拼單購物流程建模[10]，分析顧客在拼多多一次購買多樣物品的情形.圖1是拼單購物流程Petri網(wǎng)結(jié)構(gòu)圖，由顧客、商家、物流三個部分組成.

顧客流程 當(dāng)顧客登陸購物平臺后，變遷T1發(fā)生，出現(xiàn)兩個排他關(guān)系T2和T3，T4和T5，在選擇完拼單方式和地址信息后，變遷T6和T7依次發(fā)生.T7（立即支付）發(fā)生后出現(xiàn)一個排他關(guān)系T8和T14.如果T8（拼單成功）發(fā)生，會產(chǎn)生一個交叉序關(guān)系T9和T30;如果T14（拼單失?。┌l(fā)生，則會產(chǎn)生一個交叉序關(guān)系T20和T15，當(dāng)平臺退款則T15（接收退款）發(fā)生，然后變遷T16（查看詳情）發(fā)生.T9發(fā)生后如果收到物流取貨通知T10（取貨通知）發(fā)生，然后T11（取貨成功）發(fā)生.T12和T17是排他關(guān)系，若顧客滿意T12（確認(rèn)收貨）發(fā)生，出現(xiàn)一個交叉序關(guān)系T13和T22，T13發(fā)生，顧客拼單結(jié)束;若用戶對商品不滿意T17（申請退貨）發(fā)生，T23，T24，T25依次發(fā)生，直到T29（退款成功）發(fā)生，顧客流程結(jié)束.

賣家流程 當(dāng)顧客拼單成功（T8）發(fā)生后，商家T30（接到訂單）發(fā)生，T31發(fā)生會產(chǎn)生一個交叉序關(guān)系T32和T40.T32發(fā)生后出現(xiàn)一個排他關(guān)系T33和T34.如果收到用戶的退貨申請T33（接收申請）發(fā)生，T35（同意申請）發(fā)生，生成一個交叉序關(guān)系T26和T36.T36（發(fā)送地址信息）發(fā)生，生成一個交叉序關(guān)系T27和T37;如果平臺付款給商家則T34（商家收款）發(fā)生.當(dāng)顧客填寫快遞單號給商家T37發(fā)生，當(dāng)收到被退商品的取貨通知后T38發(fā)生，然后T39發(fā)生，商家流程結(jié)束.

物流流程 當(dāng)商家或買家聯(lián)系后，物流T40（接到商家家訂單）發(fā)生，當(dāng)商家或顧客發(fā)貨后T41（收貨）發(fā)生，T42發(fā)生，T43（通知取貨）發(fā)生產(chǎn)生一個交叉序列T44和（T10或T38），T10（顧客收到取貨通知）和T38（商家收到取貨通知）是一個排他關(guān)系，T44發(fā)生物流流程結(jié)束.

圖1拼單購物流程模型存在以下缺陷：當(dāng)用戶登陸平臺購物，一次拼單只能選擇一樣商品，如果還想購物，用戶要重新選購商品進行拼單，這樣既麻煩又費時間，會降低消費者在平臺購物的積極性.因此，在平臺設(shè)置的基礎(chǔ)上，筆者考慮結(jié)合收藏夾采取合并支付模式.

圖2是拼單購物流程優(yōu)化模型圖，主要考慮顧客一次多購的問題.顧客在拼單購物系統(tǒng)購物時，如果選擇單購則可以沿用之前的流程;如果選擇多購，顧客可以先收藏想購買的商品，最后返回個人中心，打開商品收藏，勾選商品，合并支付，實現(xiàn)一次多購，還可能實現(xiàn)滿減優(yōu)惠.顧客可以根據(jù)自己的需求進行拼單購物，選擇最優(yōu)方案.

為了檢驗優(yōu)化后的拼單購物流程模型的正確性和可行性，使用PIPE軟件進行仿真實驗，驗證優(yōu)化是否達(dá)到預(yù)期的要求.通過State SpaceAnalysis操作，驗證優(yōu)化后的有界性、安全性以及有無死鎖.仿真實驗表明，該結(jié)構(gòu)能夠滿足有界性、安全性、無死鎖.操作運行結(jié)果見圖3.

3 結(jié)語

本文在Petri網(wǎng)的基礎(chǔ)上對拼單購物模型的拼單選購環(huán)節(jié)進行優(yōu)化.基于Petri網(wǎng)的變遷發(fā)生規(guī)則和行為輪廓基本關(guān)系進行優(yōu)化建模，使模型更加全面滿足用戶的需求，使模型更適用.將來對于建模優(yōu)化還有許多問題要研究，如在Petri網(wǎng)及其行為輪廓的基礎(chǔ)上，對優(yōu)化后的模型進行一致性、合理性分析，以得到更好的模型.

參考文獻(xiàn)

[1]劉磊.基于Petri網(wǎng)的工作流模型化方法及其應(yīng)用研究[D].杭州：浙江理工大學(xué)，2013.

[2]潘啟澍，姜兵.基于Petri網(wǎng)的工作流建模技術(shù)及應(yīng)用[J].清華大學(xué)學(xué)報：自然科學(xué)版，2000（9）：86-89.

[3]宋健，劉祥偉.基于行為輪廓的網(wǎng)購系統(tǒng)變化域優(yōu)化分析[J].遼寧科技大學(xué)學(xué)報，2018，41（1）：52-57.

[4]郭圓圓，趙前進，劉祥偉.基于Petri網(wǎng)行為輪廓尋找業(yè)務(wù)流程變化域方法[J].皖西學(xué)報，2015，31（05）：35-39.

[5]王倩倩，王麗麗.基于Petri網(wǎng)行為輪廓的網(wǎng)上購物流程挖掘方法[J].延邊大學(xué)學(xué)報：自然科學(xué)版，2019，45（1）：75-79.

[6]邵叱風(fēng).基于流程挖掘的并行優(yōu)化算法[J].赤峰學(xué)院學(xué)報：自然科學(xué)版，2019，35（10）：66-70.

[7]Artem Polyvyanyy，Abel Armas-Cervantes，Marlon Dumas，Luciano García-Ban～uelos.On the expressive power of behavioral profiles[J].Formal Aspects of Computing，2016，28（4）：597-613.

[8]Zuohua Ding，Hui Shen，Jianwen Cao. Parallel computation of continuous Petri nets based on hypergraph partitioning[J].The Journal of Supercomputing，2012，62（1）：345-377.

[9]段瑞，方歡.基于Petri網(wǎng)的電梯控制系統(tǒng)建模與分析[J].牡丹江師范學(xué)院學(xué)報：自然科學(xué)版，2018（3）：24-28.

[10]徐長雨，劉祥偉，王麗麗.基于petri網(wǎng)的校園一卡通系統(tǒng)優(yōu)化分析[J].牡丹江師范學(xué)院學(xué)報：自然科學(xué)版，2018（2）：21-23.

編輯：琳莉