王 娟

(安徽理工大學數學與大數據學院 安徽淮南 232001)

一、引言

業(yè)務流程建模通過圖形來可視化組織執(zhí)行業(yè)務流程的過程，是分析解決實際業(yè)務流程問題的有效方法，因此許多學者利用Petri網對業(yè)務流程建模進行了研究。Petri網是分布式系統(tǒng)的建模與分析工具，它不僅直觀，便于溝通和理解，而且可以運用數學方法來對其性質進行分析；因此，很多學者利用Petri網對不同領域的業(yè)務流程進行了建模以及應用[1]。

在Petri網的建模研究中，可達性是研究系統(tǒng)動態(tài)特性的最基本的性質，也是系統(tǒng)行為分析的基礎。文獻[2]介紹了可達樹和可達圖的概念與構造算法；文獻[3]提出了一種新的可達樹來求解無界網的可達性問題，并且該可達樹還可以正確地檢查無界Petri網的死鎖。但是在實際流程中，由于受模型的規(guī)模、復雜程度等因素的影響，Petri網模型的運行效率不是很高，所以對模型進行優(yōu)化就顯得尤為重要[4]。文獻[5]提出了一種添加抑制弧對工作流網進行優(yōu)化的算法思想，并利用可達圖的分析方法說明了該算法的有效性；文獻[6]在工作流網的可達性和合理性的基礎上提出了控制節(jié)點添加優(yōu)化算法、并行優(yōu)化算法和合并優(yōu)化算法，并且對包含選擇結構和順序結構的輸入模型進行了優(yōu)化，可減少平均完成時間。與普通網購相比，在網上購買的生鮮品會因為時間、溫度等各種因素而變質，目前，基于Petri網對網購生鮮品模型進行建模和優(yōu)化的研究相對來說還比較少，利用第三方物流的實時定位功能，本文基于Petri網和行為輪廓的思想，建立了網購生鮮品的基本業(yè)務流程模型，并且對其進行可達性分析；在此基礎上，結合實際問題對模型進行優(yōu)化分析，使得模型更具有適用性和一致性。

二、基本知識

定義[1](流程模型Petri網)滿足下列條件的六元組PN=稱作一個流程模型Petri網:

（1）S是有限庫所集，T是有限活動變遷集

（2）S≠?,T≠?,且S?T=?

（3）F?(S×T)?(T×S)，F(xiàn)表示網PN的流關系，并且(S?T，F(xiàn))是一個強連通圖，即網中沒有孤立節(jié)點

（4）dom(F)?cod(F)=S?T

其中

（5）C={and,xor,or}是流程網的結構類型

（6）s∈P是唯一的一個開始庫所，e∈P是唯一的，一個結束庫所。

定義2[1]（變遷發(fā)生規(guī)則）一個四元組PN=()P,T;F,M0稱為Petri網，并具有下面的變遷發(fā)生規(guī)則：

（1）變遷t∈T具有發(fā)生權，當且僅當對?P∈·t:

（2）在標識M下能使的變遷t經發(fā)生后，得到一個新的標識M'，記作M[t＞M'，則有

定義3[1](可達性)設為一個Petri網。如果存在t∈T，使得M[t＞M'，則稱M'為從M直接可達的。如果存在變遷序列t1,t2,…,tk和標識序列M1,M2,…,Mk使得M[t1＞M1[t2＞M2…Mk-1[tk＞Mk

則稱Mk為從M可達的。從M可達的一切標識的集合記為

定義4[7](行為輪廓)設是一個Petri網。對于任意給定的變遷對滿足下面的關系：

(1)若t1?t2且t2?t1，則稱變遷對(t1,t2)中的t1與t2為嚴格序關系，記作t1→t2；

(2)若t1?t2且t2?t1，則稱變遷對(t1,t2)中的t1與t2為嚴格逆序關系，記作t1→-1t2；

(3)若t1?t2且t2?t1，則稱變遷對(t1,t2)中的t1與t2為排他性關系，記作t1+t2；

(4)若t1?t2且t2?t1，則稱變遷對(t1,t2)中的t1與t2為交叉序關系，記作t1‖t2。

將上述4種關系的集合稱為網系統(tǒng)的行為輪廓，記作BP={→,→-1,+,‖}。

三、基于Petri網的網購生鮮品模型

隨著計算機技術和電商的迅速發(fā)展，人們網購生鮮產品呈逐漸增多趨勢。網購生鮮品的基本業(yè)務流程模型如圖1所示。

圖1 網購生鮮品的基本流程模型

上述流程模型可解釋為：顧客在網購生鮮品時，首先要選擇自己想要的生鮮品，然后選好規(guī)格準備下單。在選擇好收貨地址和支付方式之后便可以支付下單。賣家收到訂單后便接單并且聯(lián)系第三方物流發(fā)貨，發(fā)貨之后會出現(xiàn)兩種情況：一是由于天氣等意外因素使得配送時間超時，另一個是顧客在約定好的時間內收到商品。當配送超時時，客戶可以催單，然后繼續(xù)等著商品的到來。收到商品后，客戶進行驗貨，如果滿意，可確認收貨；如果不滿意，則可以聯(lián)系賣家退貨。

為了解模型（圖1）的狀態(tài)變化和活動變遷發(fā)生序列的情況，對模型進行可達性分析，其對應的可達標識圖如圖2所示。

圖2 基于Petri網的網購生鮮品模型可達標識圖

四、基于Petri網的網購生鮮品模型優(yōu)化

圖1 所建立的模型給出了顧客從購買生鮮品到收到生鮮品的一個流程。然而在現(xiàn)實生活中，由于時間、溫度等因素，生鮮品在配送過程中極易變質，所以對該模型進行優(yōu)化。優(yōu)化內容如下：顧客在約定時間內，若沒收到生鮮品，可以主動聯(lián)系賣家取消訂單。優(yōu)化后的模型如圖3 所示。

圖3 網購生鮮品Petri網結構圖

圖3 中的模型的運行過程如下：變遷T0 發(fā)生（選擇商品），然后T1發(fā)生(下單)，此時T2和T3處于并發(fā)關系，即只有在T2（選擇收貨地址）和T3（選擇支付方式）都發(fā)生之后，T4才可以發(fā)生（支付）。顧客支付完成之后，賣家便接單并且安排物流公司發(fā)貨，即T4和T5順序發(fā)生。這時顧客會遇到以下兩種情況：一種是顧客在約定時間內收到商品，即T8 發(fā)生，另一種是由于天氣、交通等意外因素導致配送時間過長，顧客長時間未收到商品，即T6發(fā)生。T8發(fā)生時，顧客可根據商品的新鮮程度判斷是否滿意，如果滿意，則確認收貨，該交易流程結束，即變遷序列T9T10發(fā)生；如果不滿意，則顧客聯(lián)系賣家退貨，即變遷序列T11T12發(fā)生。在超時情況下，顧客要么催單，然后繼續(xù)等著生鮮品的到來，即變遷T6發(fā)生；要么直接與賣家協(xié)商退貨，此時T14和T15是并發(fā)關系，也就是說只有在顧客取消訂單并且拒收該快遞后，T16才可以發(fā)生，這一過程即變遷序列T13（T14T15+T15T14）T16發(fā)生。

雖然該系統(tǒng)考慮到了生鮮品會因時間過長而引起變質，但是在實際的網購生鮮品系統(tǒng)中，一旦賣家接單并聯(lián)系物流公司發(fā)貨之后，賣家和顧客便不清楚商品在運送過程中的情況了，比如說物流的實時位置。

為了優(yōu)化上述問題，本文給出了如圖4所示的基于Petri網的網購生鮮品優(yōu)化模型。該模型引入第三方物流這一主線流程。當賣家接單之后便通知物流公司開始配送，物流公司收到訂單之后便準備安排車輛開始配送，即T17發(fā)生，并且還要利用定位系統(tǒng)對快遞進行實時定位，即T18發(fā)生。顧客可以查看定位判斷配送時間是否過長，如果正常，即T8發(fā)生，則顧客等著收到商品；如果配送超時，即圖中T6 發(fā)生。此時T13和T20處于排他關系，即：顧客要么催單，直接等著生鮮品的到來；要么直接與賣家協(xié)商拒收退款。這樣便使得顧客能夠了解生鮮品在運送過程中的實時位置，提高了用戶的使用滿意度。

圖4 實時定位監(jiān)控的優(yōu)化模型Petri網結構圖

五、用PIPE軟件進行仿真模擬

為了驗證優(yōu)化模型的有效性，本文借助PIPE 軟件對模型進行模擬運行，運行過程如下。

首先，打開PIPE 安裝目錄中的launch.bat 文件，按一下回車鍵，然后在彈出的界面中畫出所建立的模型Petri網結構圖，如圖5所示：

圖5 PIPE中構建的實時定位監(jiān)控的優(yōu)化模型Petri網結構圖

然后雙擊右上角的State Space Analysis 選項，如圖6所示；再點擊所彈出界面的Analysis按鈕，便可得到該模型的仿真結果，如圖7所示。

圖6 PIPE界面的State Space Analysis選項位置

圖7 仿真結果圖

圖7表明，本文所建立的Petri 網優(yōu)化模型是有界的、安全的，這表明本文優(yōu)化后的模型是有效的。

六、結語

本文基于Petri網構建了網購生鮮品的基本流程模型，并對其進行了可達性分析。然后對該模型做了兩步優(yōu)化：一是在配送時間過長的情況下，用戶可以直接聯(lián)系賣家協(xié)商退貨；二是利用第三方物流的實時定位情況來對網購生鮮品過程進行了優(yōu)化，最后利用PIPE 軟件驗證了該優(yōu)化模型是有效、合理地?？蛻粼诰W購生鮮品時，除了配送時間會引起變質，溫度過高等其他因素也可能會引起生鮮品變質，所以今后本文可以從配送過程中溫度的控制方面來進行建模分析，另外今后還會從日志中挖掘出活動之間的具體關系，以找到實用性更強的模型。