Xinpai-Driven Workflow Model Analysis Based on Petri Net

Workflow model analysis is the analysis and computation of inner behavior of a workflow model by various methods to make it correct and effective theoretically. Design defaults of the described process definition can be found by the analysis so as to provide proper guidance and scientific references. In this paper the xinpai-driven workflow model is converted to a Petri net and the Petri net is simplified. The method decreases the difficulty of model analysis and the deadlock in the simplified Petri net is also discussed.