Research On Workflow Model Based On Petri Nets

As the developing of information technology, the need of processing information resource grows rapidly, and the process of enterprise's account execution becomes more and more complex. It becomes an important subject on the front of modern information technology circle, on how to organize and manage more automatically and effectively on commercial course by computer. Because the technology of workflow has supported the automation commercial process, it obtained extensive research and development in recent years, and it became the necessary tool for combining the complex information of enterprise's environment and executing automatically on the service flow.Petri Nets System is an advance tool to describe asynchronies computing model, since that time it has been studied in depth, and possess stability theory basis and analyses technology. A Model constitute by Petri Net can be frankly examined and powerful supported by Petri Net's theory. So the usage of Petri net plays an important role on the modeling and analyzing on the technology of workflow.The main purpose of this paper debates on the modeling of workflow management system and its construct verification and its performance analysis. In the aspect of modeling, it mainly uses the modeling method which is based on the workflow net(WF-net) to transform from the active pictures to the Petri nets, and describe the modeling process through an example. It is important to analyze a workflow model before it is put into production. First of all, it is necessary to verify the correctness and test whether the workflow behaves as expected. Secondly, we can find potential deadlock, bottleneck or redundancy through performance analysis. Accordingly the model is modified to gain the most excellent performance. Here we use the simplification technology method to verify the correctness. In order to improve the execution efficiency we also use Markov theory to analyze the performance of the model.