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

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

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

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