基于著色時(shí)間Petri網(wǎng)的工作流建模方法研究與應(yīng)用.pdf

1、作為實(shí)現(xiàn)業(yè)務(wù)過程建模、仿真分析、優(yōu)化管理與集成的核心技術(shù)，工作流目前已被廣泛運(yùn)用于項(xiàng)目管理、辦公自動(dòng)化以及業(yè)務(wù)流程重組等領(lǐng)域。建立工作流模型是實(shí)現(xiàn)工作流技術(shù)的關(guān)鍵環(huán)節(jié)，模型質(zhì)量的優(yōu)劣直接關(guān)系到后續(xù)工作流管理系統(tǒng)的性能和效率高低。目前，大多數(shù)的工作流建模技術(shù)，對(duì)于復(fù)雜信息系統(tǒng)的建模能力不足，缺乏行之有效的模型結(jié)構(gòu)合理性和性能分析手段。
　　本文在分析研究現(xiàn)有工作流建模方法的基礎(chǔ)上，基于著色時(shí)間Petri網(wǎng)建立某單位公文處理工作流模型

2、，并分析該模型的結(jié)構(gòu)合理性和時(shí)間性能，最后基于該模型設(shè)計(jì)并實(shí)現(xiàn)公文處理系統(tǒng)。全文主要工作是：
　　1、利用經(jīng)典Petri網(wǎng)在工作流建模方面的巨大優(yōu)勢(shì)，將其進(jìn)行顏色和時(shí)間擴(kuò)展，研究基于著色時(shí)間Petri網(wǎng)的工作流建模技術(shù)。分析某單位公文處理的實(shí)際流程，并運(yùn)用著色時(shí)間Petri網(wǎng)建立其工作流模型。
　　2、針對(duì)可達(dá)樹方法在分析復(fù)雜工作流模型結(jié)構(gòu)合理性方面的不足，提出了基于工作流網(wǎng)可替換性的結(jié)構(gòu)合理性驗(yàn)證法。通過合理且安全的構(gòu)造塊

3、，分步構(gòu)造模型，最終完成對(duì)公文處理工作流模型的合理性驗(yàn)證。
　　3、研究基于著色時(shí)間Petri網(wǎng)工作流模型的時(shí)間性能分析方法。根據(jù)變遷時(shí)延，推理得出著色時(shí)間工作流網(wǎng)四種基本組件的時(shí)間等效變換規(guī)則，利用這些規(guī)則計(jì)算出公文處理工作流模型的時(shí)間性能，確保模型的時(shí)間性能滿足實(shí)際要求。
　　4、基于上述研究結(jié)論，根據(jù)某單位辦公的實(shí)際，分析公文處理系統(tǒng)的功能需求，設(shè)計(jì)了系統(tǒng)的總體框架結(jié)構(gòu)，并對(duì)關(guān)鍵模塊進(jìn)行了詳細(xì)設(shè)計(jì)。最后運(yùn)用工作流開發(fā)框