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.
BPMcenter.org (2008)
Buch
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-222960