Soundness of Workflow Nets with Reset Arcs.

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: Trans. Petri Nets Other Model. Concurr. (2009)

Keyphrases