基于高級(jí)Petri網(wǎng)的工作流系統(tǒng)建模與性能評(píng)價(jià).pdf

1、對(duì)業(yè)務(wù)流程建模是將業(yè)務(wù)流程計(jì)算機(jī)化的必要手段，同時(shí)工作流建模屬于工作流管理系統(tǒng)的三大主要功能，目前已經(jīng)成為工作流技術(shù)的研究熱點(diǎn)之一。論文選擇在形式化描述和直觀圖形表示方面都很強(qiáng)大的Petri網(wǎng)建模技術(shù)作為建模工具，主要研究如何更加有效地對(duì)業(yè)務(wù)流程建模，并對(duì)建模方法給出分析。
　　 論文在深入研究現(xiàn)有建模方法的基礎(chǔ)上，借鑒著色Petri網(wǎng)和時(shí)間Petri網(wǎng)的研究成果，擴(kuò)展了工作流網(wǎng)，給出了一個(gè)時(shí)間約束擴(kuò)展工作流模型的形式化描述，統(tǒng)

2、一描述了數(shù)據(jù)資源、活動(dòng)時(shí)間約束的信息，通過應(yīng)用實(shí)例詳細(xì)展示了該模型。在時(shí)間約束擴(kuò)展工作流模型的基礎(chǔ)上，詳細(xì)分析了模型時(shí)間約束的一致性并給出對(duì)時(shí)間沖突的解決方法，并且結(jié)合模糊時(shí)間的理論，提出了模糊時(shí)間約束擴(kuò)展工作流模型，給出了模型中時(shí)間函數(shù)的定義，提高了模型對(duì)不確定時(shí)間應(yīng)用的建模能力，可以計(jì)算流程實(shí)例的時(shí)間可能性。提出根據(jù)層次建模方法對(duì)模型結(jié)構(gòu)進(jìn)行正確性驗(yàn)證，給出了子網(wǎng)縮簡(jiǎn)規(guī)則，設(shè)計(jì)了流程的執(zhí)行時(shí)間性能評(píng)價(jià)算法并用具體實(shí)例展示算法執(zhí)行步驟