Soundness of Workflow Nets with Reset Arcs is Undecidable!

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.

Xidian University (2008)
Beitrag zu einem Tagungsband

In: Proceedings of the International Workshop on Concurrency Methods Issues and Applications (CHINA'08)
Seite(n)/Artikel-Nr.: 57-72

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]