工作流的數(shù)學(xué)建模及其模型仿真研究.pdf

1、工作流管理系統(tǒng)繼數(shù)據(jù)庫(kù)管理系統(tǒng)和人機(jī)界面管理系統(tǒng)之后，被稱為應(yīng)用軟件的第三次分離。這種分離使人們能夠?qū)@些分離的軟件成份進(jìn)行深入的研究，近年來(lái)工作流技術(shù)引起了國(guó)內(nèi)外學(xué)術(shù)界和產(chǎn)業(yè)界的廣泛關(guān)注，掀起了工作流研究的一個(gè)熱潮。 目前，關(guān)于工作流過(guò)程模型的研究還很不成熟，各種研究機(jī)構(gòu)和工作流管理系統(tǒng)的開(kāi)發(fā)機(jī)構(gòu)提出了各種各樣的工作流過(guò)程模型，因而在工作流過(guò)程描述方面現(xiàn)存著很多的方法，比如：基于活動(dòng)網(wǎng)絡(luò)的建模方法、基于形式化表示的建模方法、基

2、于對(duì)話模型的建模方法等。 因?yàn)镻etri網(wǎng)理論已經(jīng)被許多人接受，如果能夠建立起一個(gè)嚴(yán)格意義的Petri網(wǎng)工作流模型，這應(yīng)該是一件很有意義的事情。Aalst說(shuō)，可以預(yù)計(jì)，最終所有的工作流管理系統(tǒng)將會(huì)基于Petri網(wǎng)理論來(lái)為過(guò)程進(jìn)行建模[4]。因而本文的選題為基于Petri網(wǎng)的工作流數(shù)學(xué)建模。本文在系統(tǒng)分析實(shí)際業(yè)務(wù)流程的基礎(chǔ)上，認(rèn)真考慮了這些問(wèn)題：Petri網(wǎng)在業(yè)務(wù)流程的描述上能夠做些什么?單是Petri網(wǎng)能夠描述清楚業(yè)務(wù)流程嗎?本

3、文對(duì)這些問(wèn)題作了闡述，本文另外的一些工作及嘗試有： 1．在對(duì)工作流過(guò)程進(jìn)行分析并認(rèn)為每個(gè)過(guò)程都可以分解為一個(gè)個(gè)任務(wù)基礎(chǔ)上，建立了一個(gè)過(guò)程集合到任務(wù)集的集合上的映射。 2．在任務(wù)集上定義了一個(gè)后繼關(guān)系>。 3．在后繼關(guān)系>的基礎(chǔ)上形式化定義了任務(wù)執(zhí)行時(shí)的循環(huán)路由、廣義順序路由、并行路由以及選擇路由。 4．在用Petri網(wǎng)結(jié)構(gòu)表示任務(wù)t<,1>和t<,2>的后繼關(guān)系t<,1>＞t<,2>的基礎(chǔ)上，根據(jù)循環(huán)路由