Soundness of workflow nets: classification, decidability, and analysis.
Wil M. P. van der AalstKees M. van HeeArthur H. M. ter HofstedeNatalia SidorovaH. M. W. VerbeekMarc VoorhoeveMoe Thandar WynnPublished in: Formal Aspects Comput. (2011)
Keyphrases