基于著色Petri網(wǎng)的工作流建模的研究.pdf

1、近幾年來(lái)，工作流管理技術(shù)被業(yè)界廣泛采用并得到了迅速發(fā)展。工作流管理最重要的功能之一就是工作流建模。這些預(yù)定義的過程模型必須能很好的反映實(shí)際業(yè)務(wù)流程，因此需要找尋靈活的工作流過程形式化表示方法及過程的執(zhí)行策略。 Aalst的工作流網(wǎng)已被眾多研究人員所認(rèn)同，它是基于經(jīng)典Petri網(wǎng)所建立的。但是，傳統(tǒng)Petri網(wǎng)具有一些固有的缺陷：當(dāng)系統(tǒng)過于復(fù)雜時(shí)，由于狀態(tài)太多，容易引起狀態(tài)空間爆炸問題。因此，本文對(duì)經(jīng)典Petri網(wǎng)進(jìn)行顏色擴(kuò)展，提

2、出了基于著色Petri網(wǎng)的工作流網(wǎng)模型，解決了建模過程中的兩大問題：資源調(diào)用問題及業(yè)務(wù)處理過程的建模問題。該模型對(duì)業(yè)務(wù)過程的描述有很強(qiáng)的表達(dá)能力，支持對(duì)工作流模型的分析與驗(yàn)證。本文對(duì)該模型進(jìn)行了包括過程模型和資源模型的詳細(xì)設(shè)計(jì)。根據(jù)Client/Sever思想，將資源從流程中獨(dú)立出來(lái)，采用統(tǒng)一的資源管理器管理。設(shè)計(jì)了資源管理器的基本模型，解決了不確定性活動(dòng)的建模問題和資源的申請(qǐng)/釋放問題，以及多個(gè)實(shí)例時(shí)的可能發(fā)生的混亂狀況。在Aalst

3、的任務(wù)結(jié)構(gòu)映射算法的基礎(chǔ)上，結(jié)合著色Petri網(wǎng)的性質(zhì)，提出了一種工作流程模型到著色工作流網(wǎng)的映射算法，采用對(duì)鏈表遍歷的方式來(lái)映射業(yè)務(wù)流程。該算法先給出基本結(jié)構(gòu)的映射規(guī)則，然后遍歷工作流程模型即有向圖，對(duì)圖中的每一個(gè)狀態(tài)結(jié)點(diǎn)應(yīng)用相應(yīng)的映射規(guī)則進(jìn)行著色Petri網(wǎng)映射，再把轉(zhuǎn)化后的著色Petri網(wǎng)模型映射到著色工作流網(wǎng)，此映射算法能實(shí)現(xiàn)著色Petri網(wǎng)建模。 在給出建模方法的同時(shí)，本文還論述工作流模型的合理性驗(yàn)證。介紹了仿真分析方