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

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

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

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