Verification of workflow task structures : a Petri-net-based approach

W.M.P. Aalst, van der, A.H.M. Hofstede, ter

Research output: Contribution to journalArticleAcademicpeer-review

201 Citations (Scopus)
1 Downloads (Pure)
Original languageEnglish
Pages (from-to)43-69
JournalInformation Systems
Volume25
Issue number1
DOIs
Publication statusPublished - 2000

Cite this