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

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

Oxford [u.a.] : Pergamon Press (2000)
Journal Article

In: Information systems : IS
Volume: 25
Issue: 1
Page(s)/Article-Nr.: 43-69