Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, H. M. W. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. In Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006. Volume 06291 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]