Petri Nets工作流及其在審計管理中的應(yīng)用.pdf

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

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

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