On Petri Nets In Workflow And Audit Management

Audit is one of the most important risk-preventing jobs in commercial banks and the last gate keeping away from risk. Operations of commercial banks are getting harder because the risk has been rising since China entered the World Trade Organization. So how to enhance the efficiency and the qualities of audit becomes key job for commercial banks. Audit management platform which is responsible for audit department to support the audit becomes very necessary to form the processes of audit, to reduce the risk of fraud, to ensure the stable development in commercial banks.Internal audit is different from external audit in commercial banks. The process is keeping change with the development, even with the different audit programs in one commercial bank. Thus for audit management platform, how to enhance the flexibility becomes the key problem. Besides the force of risk-controlling becomes stronger and the frequency of audit gets high, which give the audit management a new big challenge. Audit management is required to keep stable under multi-process and has the ability to dispatch different processes effectively.Petri Nets are a very popular in field of workflow management. Pentri Nets are an established tool for modeling and analyzing processes. It can be used as a graphical design language for the specification of complex workflows. On the other hand, Petri Nets theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures.Changing frequently and complexity of audit process are hard to deal for audit management in commercial banks. Traditional workflow management cannot ensure the process of audit reliability. Petri Nets can validate the liveness and boundness, which can make sure the reliability of workflow. This paper uses Petri Nets in audit management platform system. The main jobs have been done are:1. Studies the audit operation of commercial banks. Based on this, designs the process of audit management;2. Based on the process of audit management, designs Petri Nets model;3. Based on the Petri Nets model and the method of analysis of Petri Nets, proves the Boundness and the Liveness of workflow;4. Designs and realizes audit management platform system based on workflow.The designed system of this paper has been used in audit management in commercial bank audit and was proved that it is necessary and can enhance the efficiency of audit management.