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

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

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

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