Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. - Haiqiang Dun; Wen Zhao; Yu Huang 004; Shikun Zhang; Lifu Wang (APSEC, 2008)

Transformation of BPEL Processes to Petri Nets. - Haiqiang Dun; Haiying Xu; Lifu Wang (TASE, 2008)

Analyzing Service Composition Patterns in BPEL. - Yu Huang 004; Jieying Li; Haiqiang Dun; Hanpin Wang (JCAI, 2009)