基于petri網(wǎng)工作流模型的分析(編輯修改稿)
2025-07-15 16:39 本頁面
【文章內(nèi)容簡介】 牌驅(qū)動模型中，分支流程可表示為，其中：。根據(jù)它的語義，可構(gòu)造一個Petri網(wǎng)結(jié)構(gòu)與之等價。其中：是與對應(yīng)的變遷}是與 對應(yīng)的變遷}；是與對應(yīng)的位 子}是與對應(yīng)的位子}。例1 圖3（a）所表示的分支結(jié)構(gòu)可轉(zhuǎn)化為圖3（b）的Petri網(wǎng)控制結(jié)構(gòu)。 （a） （b）圖3 信牌驅(qū)動模型向Petri網(wǎng)的轉(zhuǎn)化Fig. 3 The transform from the Xinpaidriven model to Petri net7）多分支流程（ORSPLIT）：在擴展的信牌驅(qū)動模型中，多分支流程可表示為。其中：。根據(jù)它的語義，將其中的活動和信牌箱分別對應(yīng)為變遷和位子，就可構(gòu)造一個與之等價的非確定Petri網(wǎng)結(jié)構(gòu)，其中：是與對應(yīng)的非確定變遷}是與對應(yīng)的位子}。8）XOR合并流程：在擴展的信牌驅(qū)動模型中，XOR合并流程可表示為，其中：。根據(jù)它的語義，可以構(gòu)造一個Petri網(wǎng)結(jié)構(gòu)與其等價。其中：是與對應(yīng)的變遷}；是與的每個前信牌箱對應(yīng)的變遷}；是與對應(yīng)的位子是與對應(yīng)的位子。例2 (a)表示的信牌網(wǎng)結(jié)構(gòu)可轉(zhuǎn)化為 (b)的Petri網(wǎng)結(jié)構(gòu)。 ?。╝） (b)圖4 信牌驅(qū)動模型向Petri網(wǎng)的轉(zhuǎn)化Fig. 4 The transform from the Xinpaidriven model to Petri net注意：它如果在同步區(qū)中出現(xiàn)，該活動的出弧要加權(quán)。9）AND同步流程：在擴展的信牌驅(qū)動模型中，AND同步流程可表示為。其中：。根據(jù)它的語義，將其中的活動和信牌箱分別對應(yīng)為變遷和位子，就可構(gòu)造一個與之等價的非確定Petri網(wǎng)結(jié)構(gòu)。其中：是與對應(yīng)的變遷}是與對應(yīng)的位子 。（在同步區(qū)中，設(shè)SS為同步區(qū)的“門”，則F還應(yīng)加入，它的權(quán)值為，詳見同步區(qū)的描述）。10）OR同步流程：在擴展的信牌驅(qū)動模型中，它一定要有一個ORSPLIT與之對應(yīng)（可以是配對，也可以是局焦點。這里選用聚焦點）。為了保證在同步區(qū)避免多流交叉問題，這里規(guī)定：只有當ORJOIN節(jié)點執(zhí)行之后，它的聚焦點才能再次執(zhí)行。11）TAND合并：它和AND合并的含義類似，不過它只能出現(xiàn)在非同步區(qū)內(nèi)，而AND合并只能出現(xiàn)在同步區(qū)內(nèi)。所以，它的轉(zhuǎn)化與AND合并相識。12）循環(huán)流程：循環(huán)流程就是有一條向前的轉(zhuǎn)移線所構(gòu)成的控制結(jié)構(gòu)。向Petri網(wǎng)轉(zhuǎn)化時，無論是在同步區(qū)還是在非同步區(qū)中的循環(huán)，只要按照上面討論的各種分支和合并的規(guī)則進
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號-1