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

Thông tin
Thông tin xuất bản

Information Systems

Tập 25

43-69

Thông tin tác giả