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.

Technische Universiteit Eindhoven, The Netherlands (2008) [Buch]

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-222961