xoEPC - Jan Mendling

Bibliography
[AAB + 05] A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, C.K. Liu,
S. Thatte, P. Yendluri, and A. Yiu. Web services business process execution
language version 2.0. wsbpel-specification-draft-01, OASIS, September 2005.
[Aal97] W.M.P. van der Aalst. Verification of Workflow Nets. In Pierre Azéma and
Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, volume
1248 of Lecture Notes in Computer Science, pages 407–426. Springer Verlag,
1997.
[Aal98] W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management.
The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.
[Aal99] W.M.P. van der Aalst. Formalization and Verification of Event-driven Process
Chains. Information and Software Technology, 41(10):639–650, 1999.
[Aal03] W. M. P. van der Aalst. Patterns and XPDL: A Critical Evaluation of the XML
Process Definition Language. QUT Technical report FIT-TR-2003-06, Queens-
land University of Technology, Brisbane, 2003.
[ABCC05] W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors. Busi-
ness Process Management, 3rd International Conference, BPM 2005, Nancy,
France, September 5-8, 2005, Proceedings, volume 3649, 2005.
[ACD + 99] R. Anupindi, S. Chopra, S.D. Deshmukh, J.A. van Mieghem, and E. Zemel.
Managing Business Process Flows. Prentice Hall, 1999.