Verification Of Workflow Task Structures: A Petri-net-baset Approach

Information Systems - Tập 25 - Trang 43-69 - 2000
Wil M.P. van der Aalst1, Arthur H.M. ter Hofstede2
1Department of Mathematics and Computing Science, Eindhoven University of Technology, GPO Box 513, NL-5600 MB Eindhoven, The Netherlands
2Cooperative Information Systems Research Centre, Queensland University of Technology, GPO Box 2434, Brisbane, Qld 4001 Australia