Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. van der Aalst, W.M.P.: The application of Petri nets to workflow management. The journal of Circuits, Systems and Computes 7(1), 21–66 (1997)
2. van der Aalst, W.M.P., Hofstede, B.: Verification of Workflow Task Structures: A Petri-net- based approach. Information Systems 25(1), 43–69 (2000)
3. van der Aalst, W.M.P., Hofstede, A.H.M., ter Kiepuszewski, B., Barro, A.P.: Workflow patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)
4. Bi, H., Zhao, L.: Process logic for verifying the correctness of business process models. In: Proceedings of International Conference on Information Systems (ICIS 2004), Washington, D.C, (December 12-15, 2004)
5. Georgakopoulos, D., Hornick, M.: An Overview of Workflow Management From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Database 3, 119–153 (1995)
Cited by
84 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献