基于Petri網(wǎng)的工作流時間管理與實現(xiàn).pdf

近年來,隨著企業(yè)信息管理的復雜化,工作流管理已經(jīng)成為當今發(fā)展最為迅速的計算機應用技術之一。而PETRI網(wǎng)由于具有嚴格的數(shù)學規(guī)范以及形式化的定義,對于工作流的建模以及分析仿真來說無疑具有巨大的優(yōu)勢。WFMC工作流管理聯(lián)盟提出了有關工作流管理系統(tǒng)的一些規(guī)范,定義了工作流管理系統(tǒng)的結構及其與應用、管理工具及其他工作流管理系統(tǒng)之間的應用編程接口,提出了相關的參考模型、體系結構以及過程定義。工作流中的時間管理是現(xiàn)在工作流研究中的一個重要課題之一。在企業(yè)流程管理中,業(yè)務的有效性、及時性以及效率對企業(yè)的經(jīng)營活動是至關重要的。對復雜的工作流,在時間約束上的缺陷將導致一系列的問題。所以在工作流開始之前以及在實施的過程中甚至于任一時間對工作流進行時間管理是相當重要的。工作流時間管理的核心問題是工作流中的時間建模和時間約束的一致性檢驗。本文在WFMC工作流參考模型的基礎上建立了基于PETRI網(wǎng)的工作流模型,并對其進行擴展,引入時間參數(shù)。在分析了當前該領域研究現(xiàn)狀的基礎上,著重研究了基于PETRI網(wǎng)的工作流系統(tǒng)中的時間建模和時間約束的描述及一致性的驗證問題。利用PETRI網(wǎng)對時間距離約束、周期時間約束、循環(huán)時間約束等進行了描述,提出了相應的模型轉(zhuǎn)換策略和驗證算法,為解決工作流系統(tǒng)中的時間管理問題提出了一整套比較全面的解決方案,并通過實驗驗證了本文所提出的解決方案的正確性和可行性。