基于Petri網(wǎng)的工作流模型分析與性能評(píng)價(jià)方法的研究.pdf

1、世界經(jīng)濟(jì)全球化對(duì)企業(yè)的生存環(huán)境產(chǎn)生了深刻的影響，企業(yè)面臨著新的全球化的市場(chǎng)競(jìng)爭(zhēng)環(huán)境，這對(duì)企業(yè)的工作流的應(yīng)用提出了更高的要求，同時(shí)也促進(jìn)了工作流領(lǐng)域研究工作的開展。 本文以工作流模型的分析和性能評(píng)價(jià)作為主要研究?jī)?nèi)容。在歸納和總結(jié)了現(xiàn)有工作流建模方法的基礎(chǔ)上，給出了符合WfMC規(guī)范的基本工作流過程模型的Petri網(wǎng)描述，提出了將活動(dòng)圖轉(zhuǎn)化為Petri網(wǎng)的方法，討論了如何在工作流中中引入時(shí)間參數(shù)。 工作流模型的正確性是工作流系

2、統(tǒng)對(duì)業(yè)務(wù)過程進(jìn)行高效處理的前提。論文對(duì)工作流過程模型正確性的要求進(jìn)行了歸納，討論了模型正確性的形式化表述。在Petri網(wǎng)已有研究成果的基礎(chǔ)上，提出了模型正確性驗(yàn)證的算法。 工作流時(shí)間管理是研究工作流執(zhí)行過程中的時(shí)間控制問題，目的是提高工作流管理的效率。在分析了已有方法的基礎(chǔ)上，提出了工作流時(shí)間約束的概念和相應(yīng)的模型，研究了時(shí)間約束對(duì)工作流運(yùn)行控制的影響，建立了一種基于事件的時(shí)間約束描述方法，提出了在業(yè)務(wù)過程定義階段和運(yùn)行階段進(jìn)行

3、時(shí)間約束一致性驗(yàn)證的方法。 工作流的可調(diào)度性是工作流運(yùn)行控制的主要依據(jù)之一。論文采用工作流的時(shí)間約束Petri網(wǎng)模型，提出了工作流可調(diào)度性的概念和可調(diào)度性分析的方法，并針對(duì)約束模型提出了一套保持時(shí)間約束特性不變的網(wǎng)變換規(guī)則，進(jìn)而利用這套規(guī)則計(jì)算工作流系統(tǒng)響應(yīng)時(shí)間。 工作流模型的性能評(píng)價(jià)是工作流研究的重要內(nèi)容，論文提出了一種基于擴(kuò)展賦時(shí)Petri網(wǎng)的工作流響應(yīng)時(shí)間的計(jì)算和分析方法，通過應(yīng)用保持響應(yīng)時(shí)間和分布概率不變的網(wǎng)變換