Business Process is formalized by workflow process model. After a workflow model is modeled, how can its correctness and execution performance be ensured? In this paper, we can find a good answer for this question. To verify the semantic correctness of a workflow model, we should rely on simulation. Besides, by analyzing the simulation result, we can figure out the performance parameters of a model. In this paper, a workflow model simulation environment based on Object Petri Net(OPN) is constructed. Under this environment, an XML-based workflow model can be parsed and transformed to an OPN-based simulation model, then the simulation parameters should be set and the simulation model can be put to use. To verify syntax correctness and structural correctness, we can rely on mathematical methods. Syntax correctness is easy to verify, but structural correctness is difficult to verify. A structural conflict verification method of workflow models based on graph reduction is introduced in this paper. With this method, We can figure out all structural conflicts of workflow models. |