何子賢 劉祥偉

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

關鍵詞：Petri網;行為輪廓;網絡拼單購物

[中圖分類號]TP391.9 ? [文獻標志碼]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

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

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

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

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

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

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

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

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

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

3 結語

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

參考文獻

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

[2]潘啟澍，姜兵.基于Petri網的工作流建模技術及應用[J].清華大學學報：自然科學版，2000（9）：86-89.

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

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

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

[6]邵叱風.基于流程挖掘的并行優(yōu)化算法[J].赤峰學院學報：自然科學版，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網的電梯控制系統(tǒng)建模與分析[J].牡丹江師范學院學報：自然科學版，2018（3）：24-28.

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

編輯：琳莉