基于Petri網(wǎng)的工作流過程模型驗(yàn)證和性能評價(jià)方法的研究.pdf

1、基于Petri網(wǎng)的工作流過程模型驗(yàn)證和性能評價(jià)方法的研究陳宇寒東南大學(xué)計(jì)算機(jī)科學(xué)與工程系工作流管理系統(tǒng)是近年來發(fā)展最為迅速的計(jì)算機(jī)應(yīng)用技術(shù)之一，已被廣泛地應(yīng)用于辦公自動化、業(yè)務(wù)流程重組(businessprocessreengineering，簡稱BPR)及其他需要規(guī)劃和管理工作流的領(lǐng)域。設(shè)計(jì)工作流管理系統(tǒng)的關(guān)鍵在于工作流建模，即在概念級上給出業(yè)務(wù)過程的抽象表示。通常，業(yè)務(wù)流程通過過程定義進(jìn)行形式化描述，過程由若干定義完善的活動(或任務(wù)

2、)和它們之間的連接關(guān)系以及相關(guān)的條件約束等組成。 由于Petri網(wǎng)具有嚴(yán)格的數(shù)學(xué)基礎(chǔ)和規(guī)范化的語義，對于工作流的建模與分析研究人員來講有很大的誘惑力。特別是當(dāng)需要考慮的經(jīng)營過程較為復(fù)雜，如存在并發(fā)、沖突等情形時(shí)，用Petri網(wǎng)方法進(jìn)行工作流模型分析有明顯的優(yōu)勢。 本論文的主要工作是研究工作流建模，其內(nèi)容包括建模、模型驗(yàn)證、模型評價(jià)三個部分。第一部分主要敘述了工作流過程建模的實(shí)現(xiàn)。包括工作流建模工具；工作流活動圖同Petr

3、i網(wǎng)的轉(zhuǎn)化；工作流模型同xml文檔的雙向轉(zhuǎn)化問題；以及時(shí)間Petri網(wǎng)信息在xml文檔中的數(shù)據(jù)類型定義等問題。論文在上述幾個方面詳細(xì)介紹了實(shí)現(xiàn)的過程，并舉例說明。第二部分根據(jù)一系列定理提出的工作流Petri網(wǎng)模型的驗(yàn)證性大致分為四個步驟。驗(yàn)證網(wǎng)的強(qiáng)連通性；計(jì)算并比較Rank(C)；判斷SMD屬性；尋找活的初始標(biāo)識。對每一步驟的算法都進(jìn)行了詳細(xì)的描述，對算法的時(shí)問復(fù)雜性進(jìn)行分析。第三部分首先提出了一組時(shí)間Petri網(wǎng)保持時(shí)間約束特性不變的