1. van der Aalst, W.M.P.: Petri-net-based Workflow Management Software. In: Sheth, A. (ed.) Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, Athens, Georgia, pp. 114–118 (1996)
2. Agostini, A., De Michelis, G.: Improving flexibility of workflow management systems. In: van der Aalst, W., Oberweis, J. (eds.) BPM. Models, Techniques, and Empirical Studies, pp. 218–234. Springer, Heidelberg (2000)
3. Cook, S.A.: The complexity of theorem-proving procedures. In: STOC 1971. Proceedings of the third annual ACM symposium on Theory of computing, New York, pp. 151–158 (1971)
4. Lecture Notes in Computer Science;J. Dehnert,2004
5. Du, W., Davis, J., Shan, M.-C.: Flexible specification of workflow compensation scopes. In: GROUP, pp. 309–316. ACM, New York (1997)