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… (More)

1 Figure or Table


  • Presentations referencing similar topics