基于petri網工作流模型的分析-wenkub.com
2025-06-15 16:39 本頁面
【正文】 主要從事計算機軟件理論中的系統(tǒng)學研究工作。圖6 死鎖的檢測 The check of deadlock5 結 語工作流模型是工作流管理系統(tǒng)的基礎和核心，模型分析有助于發(fā)現所描述的過程定義中的設計錯誤，以便對業(yè)務過程重構提供正確的指導和科學的依據。即按照上邊的5條規(guī)則轉化，性質保持不變。 化簡規(guī)則3 如果一個確定的Petri網存在等價的轉移，則可以刪除這些等價轉移中任意一個及相連的所有的弧。 化簡規(guī)則1 如果一個確定的Petri網存在一個偽位子，則可以刪除這個位子及相連的所有的?。ㄗC明見文獻[5]），如圖5所示。向Petri網轉化時，無論是在同步區(qū)還是在非同步區(qū)中的循環(huán)，只要按照上面討論的各種分支和合并的規(guī)則進行即可[4]。為了保證在同步區(qū)避免多流交叉問題，這里規(guī)定：只有當ORJOIN節(jié)點執(zhí)行之后，它的聚焦點才能再次執(zhí)行。其中：是與對應的變遷}是與對應的位子 。 ?。╝） (b)圖4 信牌驅動模型向Petri網的轉化Fig. 4 The transform from the Xinpaidriven model to Petri net注意：它如果在同步區(qū)中出現，該活動的出弧要加權。8）XOR合并流程：在擴展的信牌驅動模型中，XOR合并流程可表示為，其中：。例1 圖3（a）所表示的分支結構可轉化為圖3（b）的Petri網控制結構。其中：是與對應的變遷}，是與對應的位子}（見圖2 ）。將其中的活動和信牌箱分別對應為變遷和位子，就可構造一個與之等價的Petri網結構，其中，是與對應的元素}。2）結束流程：結束流程的轉化如圖1（b）所示。本節(jié)探討將工作流模型中的各種基本控制結構自動地轉化為Petri網的規(guī)則。參見文獻[1]?；蛘呋蛘呋蛘呋蛘?，和稱為的類型，記為?；蛘呋蛘吆头Q為的SPLIT類型，記為。1）上的一個多重集是一個映射 (自然數集合)，令表示上所有多重集的集合；2）表示多重集且表示多重集且表示多重集 且。若，則；若，則；如果，則被稱為簡單元素。對出關系定義一個出函數：表示與相關的出函數，被稱為的后繼函數。雖然現在絕大部分的工作流產品都提供模型性能分析的仿真功能，但由于復雜性等原因，很難找到一種有效的算法對模型進行分析與驗證?；赑etri網工作流模型的分析晉 蓓，馮衛(wèi)兵（1. 西北大學 計算機科學系，陜西 西安 710069；2. 西安科技大學 基礎部，陜西 西安 710054）摘要：通過模型分析發(fā)現所描述的過程定義中的設計錯誤，以便對業(yè)務過程重構提供正確的指導和
黨政相關相關推薦
鄂ICP備17016276號-1