基于有色對象Petri網(wǎng)的工作流建模與分析.pdf

1、工作流管理系統(tǒng)的最重要功能之一就是工作流建模。一個好的工作流模型是實現(xiàn)一個具有高度靈活性、可靠性、可用性、可伸縮性和互操作性的工作流管理系統(tǒng)的關鍵和基礎。工作流建模主要是研究如何清晰、準確地表示實際應用中的業(yè)務過程，特別是研究如何以形式化的方法表示工作流模型。 一個工作流系統(tǒng)成功的關鍵在于向其輸入的工作流的質(zhì)量。因此，工作流的建模和分析就顯得特別重要。 面向?qū)ο驪etri網(wǎng)是目前工作流研究的熱點之一，其目的是利用面向?qū)ο?/p>

2、技術提供的抽象的封裝、分類以及繼承機制，簡化復雜系統(tǒng)的建模。 單一的建模技術因其自身特點和局限性，無法很好地完成從系統(tǒng)建模、分析到驗證的全部任務。改進和擴展單一的建模技術，將面向?qū)ο蠼＜夹g與Petri網(wǎng)建模技術結(jié)合在一起，綜合兩種建模技術的優(yōu)勢，克服彼此存在的主要缺陷，走復合建模技術的道路是解決大規(guī)模復雜系統(tǒng)建模問題的主要途徑。在建模過程中利用面向?qū)ο蟮母拍顚ο到y(tǒng)進行功能劃分，將復雜系統(tǒng)的建模分解成若干子系統(tǒng)的建模，從而使得P