Petri Nets工作流及其在審計管理中的應用.pdf

1、審計是商業(yè)銀行風險防范的最后一道防線。隨著我國進入WTO，商業(yè)銀行在經(jīng)營過程中面臨的風險也越來越大。做好內部審計防范經(jīng)營風險，成為商業(yè)銀行工作的重中之重。審計管理系統(tǒng)是審計部門的業(yè)務支撐系統(tǒng)。審計管理是商業(yè)銀行規(guī)范審計過程、降低風險、保障銀行平穩(wěn)發(fā)展的必要手段。 商業(yè)銀行內部審計不同于外部審計過程，其流程隨著銀行的發(fā)展不斷變化，甚至其審計流程根據(jù)項目類型和行業(yè)不同而不同。從而對商業(yè)銀行內部審計管理系統(tǒng)來說，在靈活性、可定制性等方

2、面提出了更高的要求。同時隨著風險監(jiān)管力度的加強，審計的頻度也不斷增加。為了保障多個流程或者同一個流程的多個實例的平穩(wěn)運行，對審計系統(tǒng)可靠性能提出了更高的要求。 Petri Nets工作流是當今的一個研究熱點。Petri Nets在工作流應用中解決了語義描述、圖形化表示、模型驗證、復雜流程設計、工作流并發(fā)調度等工作流技術中的難點。 商業(yè)銀行審計管理項目有著業(yè)務流程變化頻繁，流程復雜的特性。傳統(tǒng)的工作流技術無法證明審計業(yè)務流

3、程的可靠性。Petri Nets模型在工作流建模過程中，通過對Petri Nets有界性和活性驗證，證明了工作流的可靠性。本文將Petr iNets工作流應用于審計管理系統(tǒng)中，做了以下有意義的嘗試： 1．研究了銀行審計業(yè)務，并據(jù)此設計了銀行審計管理業(yè)務流程： 2．基于銀行審計管理業(yè)務流程，設計了Petri Nets模型； 3．基于Petri Nets模型證明了業(yè)務流程的有界性和活性，確保其可靠性： 4．設