A method for soundness verification of workflow model based on Petri net

There are a lot of modelling and analysis tools available for workflow, but Petri net is more preferable because of its solid mathematical foundation and graphical nature. Using the Petri theory on structural and behavioural properties, this paper analyses the good qualities and defects of the available achievements, and proposes an algorithm for the soundness of the workflow model according to the characteristics of WF-net.