An Effective Approach to Model Workflow Process

The most important thing to workflow management is modeling business processes. It can ensure the correctness after model is put to use only when efficient modeling technology is used to build complex business processes. On the one hand the readability of model represented can be improved on the other hand it is convenient to the model performance analysis. This paper points out that the strict semantic of Petri net is conducive to time performance analysis after modeling the process, so Petri technology is selected to define WF-net and four equivalent formulas which are sequential, parallel, selection and circulation. Then the article analyzes process instances in buying a car, and the Petri net model is established. Finally the paper analyzes its time performance to prove the rationality and superiority of modeling based on Petri net technology.