基于PETRI網(wǎng)的工作流模型分析與應(yīng)用

《基于PETRI網(wǎng)的工作流模型分析與應(yīng)用》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、基于!"#$%網(wǎng)的工作流模型分析與應(yīng)用王暉劉衛(wèi)東楊勝春（清華大學(xué)計(jì)算機(jī)系，北京&"""87）9:;.+-：<.0=>?+""@;.+-1$)1+0=>?.$(A?$/0摘要目前，工作流的建模和分析工具有很多，由于’()*+網(wǎng)具有堅(jiān)實(shí)的理論基礎(chǔ)和易于使用的圖形表示，因而是一種理想的建模和分析工具。論文著重討論基于’()*+網(wǎng)的工作流模型的分析技術(shù)，對其基本的過程和所涉及的問題進(jìn)行了分析，尤其對模型正確性的判定等問題，進(jìn)行了詳細(xì)的闡述。在文章最后，將給出一個(gè)應(yīng)用的實(shí)例：全國高校網(wǎng)上招生錄取系統(tǒng)。關(guān)鍵詞工作流’()*+網(wǎng)建模分析

2、文章編號&""!:8##&:（!""#）"%:"&"":"#文獻(xiàn)標(biāo)識(shí)碼B中圖分類號C’#D&&’()*+,+(’-&..),/(0,1’12(’!304,5’30+56(+3-71482)19:1-3)7(’;<=,>,=73,-1’;?(’;@A3’;/A=’（E(,.*);(0)2FG2;,?)(*H/+(0/(.0AC(/>02-2=I，C1+0=>?.J0+K(*1+)I，L(+M+0=&"""87）&6+04(/0：B),*(1(0)，+01,+)(2F.-2)2F;2A(-+0=.0A.0.-I1+1)22-1

3、F2*<2*3F-2<，’()*+0()1+1;2*(,*(F(*.N-(N(O/.?1(2F+)112-+A;.)>(;.)+/.-F2?0A.)+201.0A+)11+;,-(=*.,>+/1)*?/)?*(1$P0)>+1,.,(*)>(.?)>2*1<+--F2/?120)>(;2A(-+0=.0A.0.-I1+12F<2*3F-2(I<+--A+1/?11>2<)2;2A(-)>(<2*3F-2(01+K(.0.

4、-I1+1)2)>(/2**()0(112F)>(;2A(-$B)-.1)，)>(I<+--+0)*2A?/(.0(Q.;,-(F2*;2A(-+0=，.0.-I1+1.0A2,)+;+R.)+202F<2*3F-2<:)>(S.)+20.-G2--(=(TJ0+K(*1+)I90*2--+0=HI1)(;$B3*914-+：<2*3F-2<，’()*+0()1，;2A(-，.0.-I1+1&引言程和環(huán)境來模擬實(shí)際的應(yīng)用，從而對工作流管理系統(tǒng)進(jìn)行分析隨著工作流技術(shù)的發(fā)展，用于其建模和分析的工具也越來和評價(jià)。目前的工作流管理

5、系統(tǒng)一般都提供最基本的模擬器或越多，相對于其他方式，人們越來越多地傾向于用’()*+網(wǎng)來描是一些模擬工具。這些模擬可以用來評估工作流在一些特定的述工作流的形式化模型，這主要是基于’()*+網(wǎng)的工作流具有環(huán)境下的最基本的性能，比如時(shí)間延遲、吞吐量、資源專用率、如下的優(yōu)勢：規(guī)范而明確的語義和自然的圖形表示，基于狀態(tài)服務(wù)級別等等。下面主要對基于’()*+網(wǎng)的工作流模型的正確的建模以及’()*+網(wǎng)所具有的豐富的分析技術(shù)。性來加以分析。在本章節(jié)的討論中，主要用經(jīng)典的’()*+網(wǎng)模型論文將重點(diǎn)介紹基于’()*+網(wǎng)的工作流模型的分析技術(shù)

6、，為例來進(jìn)行分析，因?yàn)檫@樣可以充分利用各種有效的數(shù)學(xué)工具并結(jié)合一個(gè)實(shí)例：全國普通高校招生網(wǎng)上錄取系統(tǒng)進(jìn)行說明。和分析工具，雖然高級’()*+網(wǎng)用來為工作流建?？梢愿喢鳎庇^，但其數(shù)學(xué)的分析工具卻遠(yuǎn)遠(yuǎn)不如經(jīng)典的’()*+網(wǎng)豐富。!基于’()*+網(wǎng)的工作流模型的分析技術(shù)!$&用’()*+網(wǎng)來分析工作流模型的相關(guān)概念工作流的正確性、有效性對于商務(wù)處理過程是非常重要首先，給出在分析工作流模型時(shí)用到的一些基本概念。的，一個(gè)在定義過程中包含錯(cuò)誤定義和描述的工作流，在實(shí)施定義&：一個(gè)六元組!!（"，#；$，%，&"）是一個(gè)’()*+

7、網(wǎng)系統(tǒng)的過程中將會(huì)產(chǎn)生非常嚴(yán)重的后果，如果一個(gè)工作流過程定義當(dāng)且僅當(dāng)模型在沒有被充分驗(yàn)證其正確性時(shí)就投入使用，在工作流管理（&）（"，#；$）是一個(gè)網(wǎng)，"元素是位置（,-./(），#元素是變系統(tǒng)運(yùn)行以后再進(jìn)行維護(hù)代價(jià)將會(huì)非常高，因此，在工作流建遷（)*.01+)+20），$元素是?。?*/），標(biāo)記（)23(0）包含在位置中，它模的階段，保證其正確性是非常重要的。這樣對工作流模型的們在位置中的動(dòng)態(tài)變化表示系統(tǒng)的不同狀態(tài)。（!）%：""’(#456是位置容量函數(shù)；分析技術(shù)就提出了更高的要求。一般說來，對工作流的分析主（#）&：

8、$"’(是弧權(quán)函數(shù)，即流動(dòng)幾個(gè)標(biāo)記；要有以下三個(gè)方面：有效性：也就是說，測試工作流是否按照設(shè)計(jì)的要求來運(yùn)（7）)"：""’是初始標(biāo)識(shí)，滿足：$*%"：)（"*）&%（*）。系轉(zhuǎn)。統(tǒng)處于某種標(biāo)識(shí))，也可以稱為處于某種狀態(tài))。正確性：即工作流模型應(yīng)該是沒有錯(cuò)誤的。接下來提到的’()*+網(wǎng)都是指’()*+網(wǎng)系