基于Petri網的高校創收跟蹤審計系統主控模塊工作流建模

作者簡介：莫裕清（1977—），女，四川營山人，講師，碩士，研究方向：計算機軟件與應用（E-mail：myq7791@163.com）；王櫻（1980—），女，湖南衡陽人，講師，碩士，研究方向：計算機軟件應用。

摘要：Petri網通過工作流系統來處理一些大型案例。每個案例有一個唯一的標識，案例在出現和消失之間總是處于某個特定狀態，可以充分運用案例的相關屬性使用Petri網建立工作流。高校創收項目全程跟蹤審計系統就是一個典型的工作流案例，主控模塊項目立項、項目實施和項目結算，每個模塊內部和模塊與模塊之間涉及到流程，都需要審批，是工作流的過程。

關鍵詞：Petri網；全程跟蹤審計；工作流建模；案例

中圖分類號：TP11文獻標識碼：A

1引言

Petri網是描述異步的、并發的計算機系統模型，能夠表達并發的事件，是自動化理論的一種。Petri網常用于工作流管理、數據分析、并行程序設計和協議驗證等[1]。高校創收項目全程跟蹤審計系統是當今各個高校審計最新的一種方法與手段，對項目的立項、實施和結算進行全程跟蹤，并且通過計算機系統來實現是目前沒有的信息化手段，整個系統中審核是主控模塊，審核是一種典型的工作流管理模式。

2Petri網與工作流概述

Petri網由庫所（Place）（圓形節點）、變遷（Transition）（方形節點）、有向弧（Connection）（庫所和變遷之間的有向弧）和令牌（Token）（即權標）（庫所中的動態對象，可以從一個庫所移動到另一個庫所，可以用小黑圓點表示）四個元素構成[1]。如圖1所示。如果一個變遷的每個輸入庫所（input place）都擁有令牌，該變遷即為被允許（enable）。一個變遷被允許時，變遷將發生（fire），輸入庫所（input place）的令牌被消耗，同時為輸出庫所（output place）產生令牌[2]。

注意，Petri網有向弧是有方向的，兩個庫所或變遷之間不允許有弧，庫所可以擁有任意數量的令牌。如果兩個變遷爭奪一個令牌就會出現沖突。

工作流由一個與特定過程相關的案例資源和觸發組成。一個工作流程用于處理一些前后有關聯的案例，案例的處理是通過有序地執行一系列任務（task）實現的。每一個案例都有一個唯一的標識，案例在出現和消失之間總是處于某個特定狀態[3]。任務是一個工作的邏輯單元，它是不可分割的，必須完整的執行。過程是案例的執行方式由過程來描述，任務執行過程描述了哪些任務需要被執行，以什么次序執行。同時它也定義了案例的生命周期。路由是過程的執行稱為案例的“路由”。分為順序路由、并行路由、選擇路由、循環路由，在高校創收項目全程跟蹤審計系統中，順序路由和并行路由是主控模塊中常見的工作流路由。

利用Petri網對工作流程進行建模的方法很直接，任務可以用變遷（transition）來建模，任務的條件（有時也稱為誘發關系（causal relation））可以用庫所（place）來建模，案例可以用權標（token）（權標也即令牌）來建模[4]。

3高校創收跟蹤審計系統中主控模塊工作流

系統的體系結構如圖2所示。主控模塊由項目立項、項目實施、項目報賬三大部分組成。三個模塊不是孤立存在的，項目實施依賴于項目立項，項目實施完成后才能進行項目財務報賬操作，是一個工作流的過程。而每個模塊內部又是一個工作流，每個模塊內部審核都要有超時控制。

3.1項目立項模塊工作流

項目立項必須經過網絡審核最終確定項目是否立項，該過程的結果在整個項目中起到關鍵作用，審核通過項目立項后才能進行下一步工作，它起到啟后的作用。在立項階段對項目立項按照工作流進行，首先普通審核，再進行高級審核，然后審計監管部門審核，最后進入超級審核。

立項模塊的工作流如圖3所示。可操作用戶上傳可行性分析報告和立項表，普通審核用戶審核通過后，自動抽取兩個高級審核用戶進入下一級審核，審核完畢后，審核意見傳入審計監管部門審核，進行綜合高級審核用戶意見，若發現高級審核用戶有一個審核沒有通過，則審計監管部門審核意見為不同意，如果高級審核用戶審核意見都同意，則審計監管部門審核意見為同意。審計監管部門的審核意見作為主要意見傳入超級審核用戶，超級審核用戶根據審計監管部門的審核意見，完成整個項目的立項審核，如果不同意立項，將審核意見返回給可操作用戶，如果同意立項，項目同意立項[6]。

3.2項目實施管理模塊工作流

創收項目在實施過程中的管理是整個項目審計監管中最重要的環節，如果這個環節出現問題，整個項目的審計監管就失去作用[5]。一個項目的效益體現就在這個環節中，為了很好的監督管理，提搞資金審計效益，對項目進行網絡和實地跟蹤檢查相結合，使用網絡票據來監督創收方的收入，通過實地監督檢查加強監管力度。項目實施管理工作流圖見圖4所示。可操作用戶可并發地進行操作，一個分支對項目實施進程情況進行現場核查，人為地產生現場數據；同時一個分支對項目實施進行網絡收費，自動生成網絡數據。最后兩個分支匯總后，審計部門對數據進行比對核查，填寫審計意見反饋表，由普通用戶給出回復意見，審計部門如果發現數據差別不是很大，誤差沒有超過500元，認為項目是有效項目，出具審計結論報告，項目進入自動結算，否則，如果審計部門認為數據有問題，差別很大，而普通用戶沒有給予明確說明，將問題移交紀檢部門處理，項目處于問題狀態。

項目自動進行結算后，就可以進行項目專項資金使用，資金的使用按照單位的財務報賬程序走，與財務報賬流程一樣，此處不再描述。

3.3超時處理模塊

在每個主控模塊中，對每級審核都進行超時處理。系統超時處理（或意外處理）主要是對系統中的流程每隔單位時間做一次審核，檢查是否超過處理時限，若發現有超時意外，首先發送一個通知，繼續等待或拒絕終止。如圖5所示。

1）對任務表中的所有任務，如果T處理時間>=0；

（1）如果T超時處理方式=發送一個通知，只發送通知；

（2）如果T超時處理方式=繼續等待，將時間T重置，又回到時間檢查；

（3）如果當前用戶是最后審核用戶，置流程狀態Status：=last，從系統任務表中刪除任務，結束流程，將可行性分析報告和立項表發回可操作用戶。

2）否則，T處理時限：=T+流程的處理時限；確定下一個處理人，發送處理請求。

參考文獻

[1]姜浩，羅軍舟， 方寧生.模糊Petri網在帶權不精確知識表示和推理中的應用研究[J].計算機研究與發展，2000，（8）：18-23.

[2]王旭.基于Petri網的電信客戶訂單管理系統的開發及應用[J].科學技術與工程，2009，（9）：5551-5553.

[3]莫裕清，楊光輝.基于Petri網的OA系統主控模塊工作流建模[J].微計算機信息，2011，（5）：120-122.

[4]李華，趙玉蘭，周雅麗.與時間相關系統的Petri網模型[J].內蒙古大學學報：自然科學版，2000，（1）：125-131

[5]顧飛.企業和諧信息化體系構建研究[D].山東：山東大學博士論文，2012-05.

[6]莫裕清，王櫻，彭順生.高校創收項目全程跟蹤審計系統研究[J].2013，（5）：47-50.

[7]Reisig，Wolfgang.A Primer in Petri Net Design[M].New York：Springer Comass Nternational，1992：51-68.