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

Identifier