基于Petri網(wǎng)帶配置信息的電影票預(yù)定系統(tǒng)的優(yōu)化

夏磊，王麗麗

（安徽理工大學 數(shù)學與大數(shù)據(jù)學院，淮南 232001）

解決業(yè)務(wù)流程的問題，通常借助計算機技術(shù)和網(wǎng)絡(luò)建模的理論方法。可是，實際生活中的業(yè)務(wù)流程往往是復(fù)雜多變的，這就存在一個重要的問題，即人為建立的業(yè)務(wù)流程模型與實際的業(yè)務(wù)流程之間存在不相符、不合適的情況。因此，優(yōu)化業(yè)務(wù)流程模型使其更為符合實際流程成為很重要的一項課題。基于合理的自由選擇Petri網(wǎng)，行為輪廓理論定義了行為的弱序關(guān)系，并將其細化［1］。

文獻［2］闡述了行為輪廓相關(guān)的理論和分析方法。文獻［3］表明行為輪廓可以被用于分析業(yè)務(wù)流程中特定行為的交互規(guī)則，基于UML來捕獲重要的行為規(guī)則。行為輪廓可以被用于監(jiān)控模型動態(tài)行為在文獻［4］中被描述。文獻［5］的主要貢獻在于提出合并多個子模型構(gòu)建綜合模型的思想，然后進行模塊分解使綜合模型達到優(yōu)化的目的，并基于合并模型的可追溯性對業(yè)務(wù)流程綜合分析。為了達到在不同業(yè)務(wù)流程模型之間語義展開的效果，文獻［6］提出使用規(guī)范術(shù)語，并標準化處理業(yè)務(wù)流程模型。文獻［7］的貢獻在于提出一種語義驗證方法，可以更為高效地驗證可配置流程模型。配置信息的不合理不僅不能優(yōu)化業(yè)務(wù)流程模型，反而會導致模型的不適用性更為明顯，文獻［8］在數(shù)據(jù)流的基礎(chǔ)上，提出了一種可配置的業(yè)務(wù)流程模型的驗證方法。文獻［9］研究復(fù)雜的業(yè)務(wù)流程模型，通過添加配置信息，使其達到模型優(yōu)化的目的。文獻［10］主要研究不確定的輸入模型，并對多目標函數(shù)進行優(yōu)化。

下面以電影票在線預(yù)定系統(tǒng)來說明配置信息優(yōu)化業(yè)務(wù)流程模型的可行性和意義；利用PIPE軟件對優(yōu)化后模型模擬運行并進行狀態(tài)空間分析。

1 基本定義

定義1［11］（流程模型Petri網(wǎng)）一個流程模型Petri網(wǎng)PM=(P,T,F,C,s,e)是一個六元組，滿足以下條件：

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

（2）P≠?,T≠?且P?T=?；

（3）F?(P×T)?(T×P)表示PN的的流關(guān)系且(P?T,F)是強連通圖；

（4）dom(F)?cod(F)=P?T,其 中 dom(F)={x∈P?T|?y∈P?T,(x,y∈F)}；cod(F)={x∈P?T|?y∈P?T,(y,x)∈F}；

（5）C={and,xor,or}是流程網(wǎng)的結(jié)構(gòu)類型；

（6）M0是網(wǎng)的初始標識，Mf是網(wǎng)的終止標識，且Mf是死標識；

（7）s∈T是開始活動變遷，e∈T是終止活動變遷。

定義2［1］（前集和后集）設(shè)N=(P,T,F)為一個網(wǎng)，用X=P?T表示所有的節(jié)點，用F+表示流關(guān)系F的不自反傳遞閉包。

x∈X，·x={y|y∈P?T∧(y,x)∈F}表示x的前集，x·={y|y∈P?T∧(x,y)∈F}表示x的后集。

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

（1）變遷t∈T具有發(fā)生權(quán)，當且僅當對?p∈?t：M(p)＞1，記作M[t＞ ，其中M(p)表示庫所p中標識數(shù)量；

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

2 基于petri網(wǎng)添加配置信息的系統(tǒng)建模優(yōu)化

通常，業(yè)務(wù)流程模型都具有特定的要求和需要，通過添加配置信息可以滿足業(yè)務(wù)流程的定制需求。但是，一般建立的業(yè)務(wù)流程模型都是不具有配置信息的模型，因而加入隱藏和阻塞變遷優(yōu)化流程模型是非常有意義的，下面以電影票預(yù)訂系統(tǒng)為例，講述配置優(yōu)化的應(yīng)用。

2.1 不含配置信息的電影票預(yù)定系統(tǒng)

用戶查詢電影場次信息，若有余票，用戶需要輸入登錄信息才可進行操作，登錄信息審核無誤后用戶即可選座并預(yù)定電影票，提交訂單等待系統(tǒng)審核訂單信息，若審核不通過，則此訂單取消，若審核通過，系統(tǒng)生成訂單金額，用戶支付完成后，系統(tǒng)出票。這種不含配置信息的業(yè)務(wù)流程模型如圖1所示。

圖1 不含配置信息的電影票預(yù)定系統(tǒng)流程模型

2.2 添加配置信息的電影票預(yù)定系統(tǒng)

對于上述的不含配置信息的電影票預(yù)訂系統(tǒng)，其實與實際中某些特殊情況不相符。（1）系統(tǒng)默認用戶在線支付電影票費用，其實有些時候用戶并不一定選擇在線支付，而是通過會員積分兌換或者電子券兌換等方式在線獲得電影票；（2）電影院通常會設(shè)置普通用戶廳和VIP用戶廳，VIP用戶其實是可以任性選擇觀影廳的，僅普通用戶在選擇場次時不能選擇VIP觀影廳的場次。這也就是說，審核訂單場次信息時，系統(tǒng)僅需審核普通用戶訂單即可；（3）對于訂單金額，VIP用戶與普通用戶所付金額是不相同的，這就需要系統(tǒng)提供給VIP用戶折扣金額。

通過添加配置信息進行系統(tǒng)優(yōu)化，對于問題（1），添加hide變遷以隱藏，從而跳過默認在線支付，達到用戶可以自由選擇支付方式的目的；對于問題（2），同樣添加hide變遷以隱藏，從而使VIP用戶可以直接跳過被審核訂單場次信息，直接進入下一個活動；對于問題（3），添加block變遷以阻塞普通用戶支付折扣金額購買電影票，從而達到只有VIP用戶享有折扣金額購票的目的。如圖2所示。

圖2 添加配置信息的電影票預(yù)定系統(tǒng)流程模型

3 利用PIPE軟件對配置優(yōu)化后的模型模擬運行并狀態(tài)空間分析

利用PIPE軟件對優(yōu)化后的模型進行模擬運行，以檢驗?zāi)Ｐ偷恼_性和可行性，并對模型進行狀態(tài)空間分析。首先在PIPE軟件上，畫出優(yōu)化后的模型，添加初始標識，如圖3所示。

圖3 PIPE開始模擬運行優(yōu)化后模型

添加初始標識后，點擊運行按鈕，標識隨即開始移動直至運行結(jié)束，如圖4所示。

圖4 PIPE模擬運行優(yōu)化后模型結(jié)束

標識不斷移動，最終到達結(jié)束庫所，優(yōu)化后模型的正確性和可行性得到驗證。利用PIPE軟件，對優(yōu)化后的模型進行狀態(tài)空間分析，結(jié)果如圖5所示。

圖5 PIPE軟件對優(yōu)化后模型狀態(tài)空間分析

通過狀態(tài)空間分析可以看出，優(yōu)化后的模型是有界的，安全的，并且無死鎖的。因此，添加配置信息優(yōu)化模型是可行并且有效的一種優(yōu)化方法。

4 結(jié)論

業(yè)務(wù)流程模型添加配置變遷以達到優(yōu)化系統(tǒng)的目的，本文通過電影票預(yù)訂系統(tǒng)添加配置信息包括hide變遷和block變遷，充分說明了配置的意義和作用。盡管添加配置變遷的業(yè)務(wù)流程模型更加方便和貼合實際，但是，由添加配置信息帶來的可能出現(xiàn)的行為異常，也是不能夠被忽視的，未來的工作在于如何挖掘出這些行為異常，加以控制。