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) [Buch]

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-222875