Verifying workflows with cancellation regions and OR-joins : an approach based on reset nets and reachability analysis

M.T. Wynn, W.M.P. Aalst, van der, A.H.M. Hofstede, ter, D. Edmond

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Verifying workflows with cancellation regions and OR-joins : an approach based on reset nets and reachability analysis'. Together they form a unique fingerprint.

Engineering & Materials Science