Testing BPEL-based Web Service Composition Using High-level Petri Nets. - Wen-Li Dong; Hang Yu; Yu-Bing Zhang (EDOC, 2006)