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

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

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

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