基于時(shí)間Petri網(wǎng)的公文流轉(zhuǎn)系統(tǒng)研究與實(shí)現(xiàn).pdf

1、工作流建模是當(dāng)前工作流研究領(lǐng)域的熱點(diǎn)問(wèn)題之一。研究更具柔性和適應(yīng)性的工作流建模方法，并探索模型對(duì)實(shí)際工作流系統(tǒng)開(kāi)發(fā)的指導(dǎo)作用，使其更好地適應(yīng)業(yè)務(wù)流程的動(dòng)態(tài)變化，是本論文的研究主題。 Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的建模工具，具有堅(jiān)實(shí)的理論基礎(chǔ)和成熟的分析技術(shù)，然而經(jīng)典Petri網(wǎng)的建模表現(xiàn)力存在一定的不足。本文分析了基于Petri網(wǎng)的工作流建模方法及其應(yīng)用于公文流建模的不足之處。 以公文流轉(zhuǎn)業(yè)務(wù)為對(duì)象，研究了基

2、于時(shí)間Petri網(wǎng)的工作流建模方法；在經(jīng)典Petri網(wǎng)模型的基礎(chǔ)上，應(yīng)用時(shí)間Petri網(wǎng)建立了一個(gè)公文流轉(zhuǎn)系統(tǒng)工作流模型。在模型中增加了時(shí)間要素，表現(xiàn)實(shí)際業(yè)務(wù)流程中的不確定事件和時(shí)間，所建立的工作流模型具有一定的柔性和適應(yīng)性，并利用可覆蓋性樹(shù)理論分析方法，驗(yàn)證了該模型的正確性。 最后，基于Microsoft Visual Studio．NET 2003開(kāi)發(fā)平臺(tái)，使用SQL Server數(shù)據(jù)庫(kù)、B/S三層體系結(jié)構(gòu)等當(dāng)前主流技術(shù)，設(shè)