审计是商业银行风险防范的最后一道防线。随着我国进入WTO,商业银行在经营过程中面临的风险也越来越大。做好内部审计防范经营风险,成为商业银行工作的重中之重。审计管理系统是审计部门的业务支撑系统。审计管理是商业银行规范审计过程、降低风险、保障银行平稳发展的必要手段。商业银行内部审计不同于外部审计过程,其流程随着银行的发展不断变化,甚至其审计流程根据项目类型和行业不同而不同。从而对商业银行内部审计管理系统来说,在灵活性、可定制性等方面提出了更高的要求。同时随着风险监管力度的加强,审计的频度也不断增加。为了保障多个流程或者同一个流程的多个实例的平稳运行,对审计系统可靠性能提出了更高的要求。Petri Nets工作流是当今的一个研究热点。Petri Nets在工作流应用中解决了语义描述、图形化表示、模型验证、复杂流程设计、工作流并发调度等工作流技术中的难点。商业银行审计管理项目有着业务流程变化频繁,流程复杂的特性。传统的工作流技术无法证明审计业务流程的可靠性。Petri Nets模型在工作流建模过程中,通过对Petri Nets有界性和活性验证,证明了工作流的可靠性。本文将PetriNets工作流应用于审计管理系统中,做了以下有意义的尝试:1.研究了银行审计业务,并据此设计了银行审计管理业务流程;2.基于银行审计管理业务流程,设计了Petri Nets模型;3.基于Petri Nets模型证明了业务流程的有界性和活性,确保其可靠性;4.设计并实现了基于工作流的审计管理系统。本文所设计的审计管理系统,已经在某商业银行审计管理平台系统的实际项目中得到了应用,并取得了较好的应用效果。