Soundness of Workflow Nets with Reset Arcs

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.

(2009) [Buchbeitrag, Beitrag zu einem Tagungsband]

Transactions on Petri Nets and Other Models of Concurrency III. - 5800
Seite(n): 50-70

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220936