Verification of Workflow Task Structures: A Petri-net-based Approach

van der Aalst, Wil M. P.; ter Hofstede, A. H. M.

Universität Karlsruhe, Institut AIFB, Karlsruhe (1998)
Book