董佳佳，王麗麗

1 引言

當(dāng)今隨著信息技術(shù)的發(fā)展，業(yè)務(wù)流程在許多方面都得到廣泛的發(fā)展和應(yīng)用，如何實現(xiàn)業(yè)務(wù)流程的優(yōu)化設(shè)計已經(jīng)成為比較熱門的研究課題.當(dāng)前，國內(nèi)外許多學(xué)者都在行為輪廓以及建模優(yōu)化方面進(jìn)行研究.依據(jù)Petri網(wǎng)的基本定義和相關(guān)的原理，并且利用相關(guān)原理來對現(xiàn)實的生活中的系統(tǒng)進(jìn)行建模，基于Petri網(wǎng)構(gòu)建出來的模型，能夠確切的理解業(yè)務(wù)流程的活性以及其可達(dá)性，這樣我們就能確保整個系統(tǒng)能夠比較良好的運行下去[1].Baldan P等提出基于以業(yè)務(wù)流程之間的交互行為來作為合作的依據(jù)，以此來保證各個業(yè)務(wù)流程之間能夠相互兼容，從而實現(xiàn)流程之間能夠正常的運行[2].

本文以基于Petri網(wǎng)對網(wǎng)購流程中支付方式的優(yōu)化為例，有效地幫助顧客在網(wǎng)購支付過程在打破只能實現(xiàn)一種支付方式的局限.本文結(jié)構(gòu)如下，第二部分介紹了Petri網(wǎng)基本概念；第三部分對基于Petri網(wǎng)的網(wǎng)絡(luò)購物流程模型進(jìn)行分析，找出了問題與不足，并且給出了相關(guān)的建模模型的優(yōu)化；第四部分總結(jié)了這篇論文并對未來的新工作進(jìn)行展望；最后部分是參考文獻(xiàn).

2 基本概念

定義1[2](流程模型Petri網(wǎng)） 流程模型的Petri網(wǎng)PN=(P,T；F,C)它是一個四元組，并且它能夠滿足以下條件：

(1)P∪T≠?

(2)P∩T=?

(3)F?(P×T)∪(T×P)

(4)dom(F){x∈P∪T|?y∈P∪T:(x,y∈F)}

(5)cod(F){x∈P∪T|?y∈P∪T:(y,x)∈F}

由此可以得到，網(wǎng)PN=(P,T；F,C)的基本元素集合分別是P和T，通常，在petri網(wǎng)，習(xí)慣分別用圓圈和方框來表示.

定義2[2]（可達(dá)性）已知Petri網(wǎng)PN=(P,T；F,C)，如果存在 t∈T，使[t＞M'，則稱 M'為從 M 直接可達(dá)的.如果存在變遷序列t1,t2,…,tk和標(biāo)識序列M1,M2,…,Mk使得

則稱Mk為從M可達(dá)的.從M可達(dá)的一切標(biāo)識的集合記為R(M).

定義3[1](行為輪廓) 假設(shè)(N,M0)為一個網(wǎng)，其初始標(biāo)識是M0.對任給的變遷對(t1,t2)∈(T×T)滿足下面關(guān)系：

(1)若 t1＞t2且 t2≯t1，則稱嚴(yán)格序關(guān)系，記作t1→t2；

(2)若 t1≯t2且 t2＞t1，則稱嚴(yán)格逆序關(guān)系，記作t1→-1t2；

(3)若 t1≯t2且 t2≯t1，則稱排他關(guān)系，記作 t1+t2;

(4)若 t1＞t2且 t2＞t1，則稱交叉序關(guān)系，記作t1||t2；

我們將滿足以上的關(guān)系的集合稱為網(wǎng)系統(tǒng)的行為輪廓，記作BP={→,←-1,||,+}.

3 基于Petri網(wǎng)的網(wǎng)絡(luò)購物的流程模型優(yōu)化分析

3.1 構(gòu)建網(wǎng)購流程模型

網(wǎng)購流程的模型如圖1所示.

圖1 網(wǎng)購流程模型圖

Petri網(wǎng)的基本運行規(guī)則表明了在給定初始條件下的流程模型的基本運行狀況，通過模型的運行，可以讓我們得以知道活動之間的直接的關(guān)系.圖1給出了網(wǎng)購流程模型圖.當(dāng)顧客在網(wǎng)購時，首先要選定商品觸發(fā)t1，然后顧客可以選擇t2立即購買或t3放入購物車，t2，t3是相互排他關(guān)系，記作t2+t3.若顧客選擇t3，則t3放入購物車和t5繼續(xù)選購是嚴(yán)格序關(guān)系，記作t3→t5；若顧客自己選擇的是t2立即購買，則t2和t4之間是嚴(yán)格序的關(guān)系，記作t2→t4，接著發(fā)生t6與t7，在t7選擇付款方式時，可選擇t8支付寶支付或t9其他方式支付，t8與t9是排他關(guān)系，記作t8+t9.當(dāng)填寫好支付信息t6并選擇一種支付方式t8或t9，t10付款下單才可以發(fā)生，接著發(fā)生 t11，t12.其中 t10，t11，t12 是嚴(yán)格序的關(guān)系，即t10→t11→t12.若顧客收到商品以后，會對商品產(chǎn)生感受，t13滿意或t14不滿意.t13與t14是排他關(guān)系，即t13+t14.若顧客對商品滿意，則接著發(fā)生t15，t17；若顧客對商品不滿意，則接下來發(fā)生t16，t17.

3.2 網(wǎng)購流程模型優(yōu)化

圖1中的網(wǎng)購流程的支付方式具有排他性關(guān)系，用戶只能選擇一種支付方式來進(jìn)行支付.但在實際網(wǎng)購中，顧客在選擇支付寶付款方式時，可能會出現(xiàn)顧客的支付寶余額不足以支付該商品的價格，如果此時顧客想利用支付寶余額支付商品價格的一部分，其余部分再利用其它支付方式支付，則圖1中的流程模型不適用.

圖2 網(wǎng)購流程模型優(yōu)化

優(yōu)化過后的網(wǎng)購流程的模型如圖2所示，根據(jù)圖1所出現(xiàn)的不足進(jìn)行了優(yōu)化設(shè)計.主要是從支付方式這一環(huán)節(jié)進(jìn)行優(yōu)化.在優(yōu)化后的模型下，顧客可以在支付寶余額不足情況下進(jìn)行支付選擇，顧客可以選擇t12直接放棄支付寶支付，也可以選擇t13利用支付寶中的余額進(jìn)行部分消費，同時轉(zhuǎn)換其他支付方式補齊差額.與源模型相比，優(yōu)化后的模型在支付寶余額不足情況下可以同時使用兩種支付方式，同時反映出網(wǎng)購支付流程活動在執(zhí)行過程中的行為和相互關(guān)系，有利于顧客靈活的選擇支付方式，方便了顧客在網(wǎng)購流程中的付款選擇.

4 結(jié)束語

本文構(gòu)建了基于Petri網(wǎng)的網(wǎng)絡(luò)購物的流程模型，并在這個基礎(chǔ)上進(jìn)行了建模分析，文中主要利用Petri網(wǎng)的可達(dá)性，和對行為輪廓的分析，結(jié)合顧客支付的實際情況通過分析流程模型中活動間間接的交互關(guān)系，發(fā)現(xiàn)源流程模型的不足之處.然后依據(jù)Petri網(wǎng)流程模型的一些相關(guān)運行規(guī)則，我們通過添加相關(guān)的控制結(jié)構(gòu)，對它進(jìn)行了優(yōu)化.優(yōu)化后的模型打破了顧客在網(wǎng)購支付過程中只能實現(xiàn)一種支付方式的局限性，增加了顧客支付方式的靈活度，在某種程度上改善與增加了顧客在網(wǎng)購過程中的用戶體驗，提高了其滿意度.