Guisheng Fan Huiqun Yu Liqiong Chen Dongmei Liu Analyzing BPEL Compositionality Based on Petri Nets. 373-376 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.44 conf/compsac/2008 db/conf/compsac/compsac2008.html#FanYCL08