Soundness of Workflow Nets: Classification, Decidability, and Analysis

van der Aalst, Wil M. P.; van Hee, K. M.; ter Hofstede, A. H. M.; Sidorova, N.; Verbeek, H. M. W.; Voorhoeve, M.; Wynn, M. T.

London : Springer (2011)
Journal Article

In: Formal aspects of computing
Volume: 23
Issue: 3
Page(s)/Article-Nr.: 333-363


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]