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 language	English
Place of Publication	Karlsruhe
Publisher	Universität Karlsruhe
Publication status	Published - 1998

Publication series

Name	Forschungsbericht
Volume	380

Cite this