基于時延Petri網(wǎng)的工作流系統(tǒng)建模方法及其時間管理.pdf

1、隨著用工作流的方法管理業(yè)務(wù)流程的需求的不斷增加,人們提出了各種各樣的模型和分析方法。而現(xiàn)存的工作流產(chǎn)品缺乏對動態(tài)變化所必須的柔性支持，遠(yuǎn)遠(yuǎn)不能滿足企業(yè)的應(yīng)用需求。時間是反映工作流性能的一個重要方面,因此，時間的驗證與分析成為當(dāng)今工作流研究的一個熱點問題。
　　立足于實際業(yè)務(wù)過程對工作流系統(tǒng)時間管理功能的需求,尤其是針對一些對時間性能要求比較高的工作流系統(tǒng)，提出了一種新的基于庫所含時間因素的時延Petri網(wǎng)的工作流建模和分析方法，定

2、義了一種新的工作流建模工具TPWF_net（Timed Place WorkFlow net）。TPWF_net基于庫所含時間因素的Petri網(wǎng)TPPN（Timed Place Petri Net），用庫所來表示任務(wù)的狀態(tài)和執(zhí)行過程，庫所上被賦予一個時間值。變遷用于對工作流邏輯的控制。在一個實際的工作流中，常常有一些可選活動和可替換路徑，對可選活動的適當(dāng)取舍和可替換路徑的適當(dāng)選擇，可以提高工作流系統(tǒng)在時間方面的柔性，所以在TPWF_ne

3、t中對可選活動和可替換路徑進行了定義。給出了TPWF_net模型結(jié)構(gòu)完整性的定義，并用可達(dá)標(biāo)識圖的方法對TPWF_net模型的完整性進行了驗證。
　　工作流時間管理是研究工作流執(zhí)行的時間計劃，估計不同的活動執(zhí)行延時、避免活動/過程違反時間約束，以提高過程管理的效率。本文基于TPPN（Timed Place Petri Net）的運行規(guī)則，在TPWF_net模型邏輯結(jié)構(gòu)的基礎(chǔ)上，定義了一種時間計算方法，以此為基礎(chǔ)，在模型建立階段和模