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

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

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