1. Lecture Notes in Computer Science;W.M.P. Aalst van der,2005
2. Lecture Notes in Computer Science;W.M.P. Aalst van der,2005
3. van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.W.: Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version), BPM Center Report BPM-05-25, BPMcenter.org (2005)
4. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
5. van der Aalst, W.M.P., Pesic, M.: Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware, BPM Center Report BPM-06-09, BPM Center, BPMcenter.org (2006),
http://www.BPMcenter.org/reports/2006/BPM-06-09.pdf