Structural characterizations of sound workflow nets
Wil M. P. van der Aalst · 1996
this paper we present a method based on Petri nets. This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. Moreover, the analysis method allows for the compositional verification of workflows.