基于CTMC的工作流網過程定義性能分析
2011-04-12 00:00:00袁飛云封蕾夏清國
現代電子技術
2011年6期
摘要：為了達到簡化分析過程定義的運行時間復雜度的目的，采用構造工作流網過程定義(PN，i)覆蓋圖而獲得連續時間SPN(PN)對應的CTMC狀態空間的分析方法，計算出(PN，f)中每個可達標識的穩定概率P[M]，得到過程定義的平均運行時間T。該方法只與過程定義中變遷服務時間和工作流網的過程邏輯有關，克服了涉及工作流管理系統和工作流執行引擎選擇的局限性。通過實例驗證了該分析方法的優越性，并得出過程定義時間性能分析方法。
關鍵詞：工作流網；CTMC；性能分析；Petri網
中圖分類號：TN919—34；TP391.1 文獻標識碼：A 文章編號：1004—373X(2011)06—0062—04
登錄APP查看全文
