Soundness of workflow nets: classification, decidability, and analysis.

Wil M. P. van der Aalst Kees M. van Hee Arthur H. M. ter Hofstede Natalia Sidorova H. M. W. Verbeek Marc Voorhoeve Moe Thandar Wynn

Published in: Formal Aspects Comput. (2011)

Keyphrases