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

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