基于Petri網的工作流模型.pdf

1、工作流模型是業(yè)務過程的計算機化的表示.工作流管理系統(tǒng)中一個重要的課題就是要為待描述的過程定義提供一種通用過程描述、表現(xiàn)能力強和便于形式化驗證的工作流過程模型.一個好的工作流過程模型應該是一個具有高度的靈活性、可靠性、可用性、可伸縮性和互操作性的工作流管理系統(tǒng)的關鍵和基礎.盡管工作流技術的研究日益受到人們的重視,并在工作流領域取得了眾多的研究成果,但是目前對工作流模型方面的研究仍舊比較少,對模型的分析更少.各種模型缺乏系統(tǒng)性,比較混亂,不

2、同廠商、不同工作流系統(tǒng)的模型之間差異很大.另一方面,目前仍舊缺乏一種能夠支持過程定義、過程演進以及過程分析的形式化數(shù)學模型.因此對工作流模型進行分類、比較、分析,尋找模型本質的東西,為完善過程定義、改進工作流程、進一步提高企業(yè)的工作效率、降低成本等提供了堅實的理論依據.作者的主要工作集中在以下幾個方面:第一:對工作流技術的相關概念、工作流參考模型、國內外工作流模型的研究現(xiàn)狀和研究內容進行了介紹.第二:在對典型的工作流模型進行比較基礎上,

3、給出了模型分類標準.將信牌驅動模型與WPDL、WIDE進行比較,將驅動模型與工作流模式進行比較.第三:提出了一種工作流模型基本集.詳細的研究了模型的靜態(tài)結構、典型流程.并且對工作流模型進行形式化的定義.第四:實現(xiàn)了信牌驅動模型向Petri網的轉化.利用Petri網這種形式化的工具對擴展的信牌驅動模型中的死鎖、可達性進行了研究,并給出了相應的判斷算法.第五:開發(fā)出模型分析工具.它利用擴展的信牌驅動模型為某個業(yè)務流程方便、友好地建立過程定義