工作流Petri網(wǎng)模型建模與分析評價方法研究.pdf

1、工作流管理是一個被業(yè)界廣泛應(yīng)用并迅速發(fā)展的技術(shù)，而工作流建模是工作流技術(shù)研究的基礎(chǔ)。本文主要是基于Petri理論對工作流建模方法和模型的分析評價方法進(jìn)行研究與探索。文章首先從工作流管理聯(lián)盟定義的元模型概念出發(fā)，抽象出企業(yè)工作流模型的視圖組成－組織視圖、資源視圖、過程視圖和信息視圖?；诖瞬⒔Y(jié)合Petri網(wǎng)知識，提出了一種一般性的工作流Petri網(wǎng)建模方法，當(dāng)中詳細(xì)地闡述了如何基于Petri網(wǎng)進(jìn)行模型的定義、模型的執(zhí)行以及模型的分析，并在

2、最后給出了利用Petri網(wǎng)創(chuàng)建工作流模型的具體流程。本文同時分析并闡述了層次工作流Petri網(wǎng)建模方法的關(guān)鍵概念，給出了利用此方法進(jìn)行復(fù)雜工作流建模的解決辦法，完成了層次工作流Petri網(wǎng)模型主要性質(zhì)的驗(yàn)證。并基于此方法中的“區(qū)”的概念與定義，給出了工作流模型動態(tài)變化問題的解決方案。本文還提出了基于可達(dá)樹的分析方法用于簡單工作流Petri網(wǎng)模型正確性的驗(yàn)證，同時利用四種Petri簡化規(guī)則完成了對層次工作流Petri網(wǎng)模型的正確性驗(yàn)證。另