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

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

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