基於Petri網工作流模型的分析(doc 10頁)

1　相關概念
2　將信牌驅動模型轉化為Petri網
3　Petri網的化簡
4　死鎖檢測算法
5　結　語

工作流模型的分析是指采用各種方法（包括理論模型、模擬、測量方法），對工作流模型的內部行為進行分析計算，使得工作流模型在理論上是正確和有效的。
雖然現在絕大部分的工作流產品都提供模型性能分析的仿真功能，但由於複雜性等原因，很難找到一種有效的算法對模型進行分析與驗證。本文在總結模型分析研究成果現狀的基礎上，針對目前模型驗證方法存在的不足，總結了Petri網模型分析中的一些圖形化簡規則，針對企業經營過程模型的特點並利用文中提出的模型正確性標準，提出了一種具有完備性和高效率的工作流模型的模型驗證方法分析

..............................