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

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

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

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