Research On Modeling And Analysis Of Coloured Petri Net-based Workflow

At present, the workflow technique has been developed greatly, but there is no workflow product nor prototype system yet whose reliability and consistency in procedure execution reach the function of relational database management system. The major cause is that the simulating and analyzing fuction of the existing workflow models are not enough both in theory and practice. There is still a long way to reach the ideal model in comlexity and performance. To meet the current problem,I did some research on the workflow modeling by using coloured Petir net as the modeling tools in this thesis.There are two purposes for workflow modeling:one is simulating and analyzing the system,and the other is doing cost budget analysis for the system. The current models for simulating and analyzing are heavily coupled between process modeling and process executing. That is to say,the process based on the certain organization model must execute in the same model.The reason is that the current management technique and standard of business process do not subdivide the control logic. In fact,there are two kinds of the control logic in the business process:one is routing logic,the other is resource management logic.Resouce modeling is based on the above.To meet the resouce management involved in the workflow, the important property and classification of resouce were analyzed,then emphasis was laid on the distribution and management of rare resource.The resource pool was proposed and the workflow resource manager was built by using the coloured Petri net to implement the resource management and distribution of the workflow. The resource manager model based on the coloured Petri net provides a formal tool for the qualitative and quantitative analysis of the workflow system,while it is a valid method to develop the robustness of the workflow process model.In the cost budget, the workflow modeling research based on Petri net is in the elementary step. Some models were built by numerous scholars, but most of them were based on the Petri net, they also can not well model the complex business process and describe the net structure with multi cases.To meet the complexity in the practical business process, a coloured Petri net extended with price information was proposed, and the transition rules of the model were discussed. Also to meet the state space explosion problem, the minimum cost generating algorithm was proposed. In the end,a business process case is demonstrated as a application of the model.The conclusion is that Price Coloured Petri net is a good model to solve the costs and budget analysis problem in the business process modeling and the minimum costs generation algorithm is valid.