基于Petri網(wǎng)的工作流并行算法的研究與實(shí)現(xiàn).pdf

1、工作流是企業(yè)業(yè)務(wù)流程的自動(dòng)化處理。隨著科技的發(fā)展，越來(lái)越多的企業(yè)開始借助計(jì)算機(jī)技術(shù)建立自己的工作流管理系統(tǒng)，完成對(duì)企業(yè)運(yùn)作過(guò)程的組織和管理。在日益激烈的競(jìng)爭(zhēng)下，如何提高工作流在組織管理和流程優(yōu)化方面的效率，成為企業(yè)發(fā)展中面臨的一個(gè)問(wèn)題。Petri網(wǎng)具有嚴(yán)格語(yǔ)義與圖形描述和并發(fā)的特點(diǎn)，具備強(qiáng)有力的分析與驗(yàn)證功能，對(duì)工作流的建模、優(yōu)化與并發(fā)執(zhí)行具有良好的理論表示和模擬仿真。因此，在多核PC環(huán)境下，采用Petri網(wǎng)對(duì)工作流進(jìn)行建模和并行優(yōu)化，

2、具有重要的現(xiàn)實(shí)意義。本文對(duì)Petri網(wǎng)的建模方法，工作流的優(yōu)化算法及其研究現(xiàn)狀進(jìn)行了較全面的分析和調(diào)研，分析了工作流優(yōu)化算法中存在的一些問(wèn)題，主要展開了一下的研究工作：
　　1．基于庫(kù)所不變量的并行化與求解問(wèn)題的研究，從庫(kù)所不變量的定義出發(fā)，對(duì)Petri網(wǎng)的轉(zhuǎn)化、提取以及網(wǎng)模型的分割和并行化條件進(jìn)行了系統(tǒng)的闡述。
　　2．詳細(xì)闡述了Petri網(wǎng)的子網(wǎng)分割技術(shù)，并對(duì)分割后的子網(wǎng)分析判斷，提出劃分算法，利用Petri網(wǎng)強(qiáng)大的模型

3、分析能力來(lái)對(duì)工作流進(jìn)行優(yōu)化。
　　3．在多核環(huán)境下，將原有算法進(jìn)行并行改進(jìn)，顯著減少了工作流優(yōu)化過(guò)程所用時(shí)間；同時(shí)，利用Petri網(wǎng)對(duì)常見(jiàn)的基本工作流模型進(jìn)行并行性分析，設(shè)計(jì)出新的工作流Petri網(wǎng)并行模型。
　　4．結(jié)合并行劃分算法和新的工作流Petri網(wǎng)并行模型，提出了基于多核PC的工作流并行優(yōu)化算法。
　　本文通過(guò)對(duì)工作流并行性的研究，構(gòu)建了順序結(jié)構(gòu)、并行結(jié)構(gòu)、選擇結(jié)構(gòu)、循環(huán)結(jié)構(gòu)的并行模型，并將模型與串行PPPA