Verification on workflow task structures: A Petri-net-based approach

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

Research output: Book/Report › Report › Academic

Original languageEnglish
Place of PublicationKarlsruhe
PublisherUniversität Karlsruhe
Publication statusPublished - 1998

Publication series

NameForschungsbericht
Volume380

Cite this