Petri網(wǎng)在工作流建模中的應用研究.pdf

1、隨著計算機和網(wǎng)絡技術迅速發(fā)展，特別是Internet應用日益普及的情況下，工作流(Workflow)是業(yè)務過程的自動化處理，如何在計算機上建立對業(yè)務過程進行自動、有效的組織和管理的系統(tǒng)--工作流管理系統(tǒng)(Workflow Management System)，成為現(xiàn)代信息技術面臨的重要前沿課題，而工作流建模技術一直是工作流技術研究的重要課題之一。
　　 在眾多工作流技術建模的方法中，基于Petri網(wǎng)的建模方法受到眾多設計者的青睞

2、，這是因為Petri網(wǎng)能夠表示系統(tǒng)中的并行、同步、沖突及順序等關系，而且以圖形表示的組合模型，具有直觀、易懂和易用的優(yōu)點，對描述和分析并發(fā)現(xiàn)象有它獨到的優(yōu)越之處。通過定義信息控制網(wǎng)ICN(Information Control Net)來描述業(yè)務過程，實際上是高級Petri網(wǎng)的一個引申，其中庫所表示活動，而變遷則表示活動間的轉(zhuǎn)移；WMP Aalst在Petri網(wǎng)的基礎上定義了WF-net，即工作流網(wǎng)(WF-net)，在網(wǎng)中變遷被用來表示

3、活動，而庫所表示活動的使能條件。WMPAalst還把WFMC在規(guī)范中提出的幾種基本的工作流原語映射成相應的Petri網(wǎng)模型，井建立了工作流網(wǎng)的基本組件和觸發(fā)機制。本文利用WMP Aalst的工作流網(wǎng)(WF-net)對銀川市污水資源處理流程進行建模和分析的。
　　 本論文以銀川市城市污水處理為應用背景，基于Petri網(wǎng)理論和工作流技術，把城市污水資源處理環(huán)節(jié)經(jīng)過抽象、細化、折疊等模擬成一個Petri網(wǎng)模型。在實際生產(chǎn)中，遵照循環(huán)經(jīng)