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

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