Anshuman Mukherjee, Zahir Tari, Peter Bertók: Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets. SERVICES II 2009: 55-62