High-level Petri Net-based Workflow System Modeling And Performance Evaluation

Business process modeling is a necessary means of computerized business processes, and workflow modeling is one of the three main functions of the workflow management system. The research about workflow modeling has very important significance, which is the focus of the workflow technology. The thesis is to study how to more effectively model business processes, and how to analysis the model.The thesis has compared the existing modeling methods, on this basis, selected the petri net modeling technique as the modeling method which not only has formal description but also intuitive graphical represention. First of all, for the shortcomings of the time petri nets and colored petri nets, the thesis has given a formal definition of the time constraint extended workflow net which unified the description of data resources, activeties and the time constraints. And it has demonstrated the model in detail through an application example. Secondly, the thesis has analysised the time constraint consistency and given the conflict solution of the model. According to the combination of the theory of fuzzy time, a fuzzy time extened model has been proposed and this model has defined the time function and further strengthens the application of the model for uncertain time capabilities. The thesis has proposed that based on hierarchical structure to verify the model accuracy. And it has designed a new subnet abbreviated rules and the process execution time performance evaluation algorithm. According to an example show the implementation steps.