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
Identifier
- DOI: 10.1016/S0306-4379(00)00008-9
- RWTH PUBLICATIONS: RWTH-CONV-220649