For Web services composition problem, this paper proposes an executable code creation algorithm to model Web services composition based on Petri net model, and develops an executable composition code automatic creation tool. This tool can achieve the automatic creation process from composition model to executable code, and more meaningfully makes it possible to analyze and validate composition process logically. Finally, experiment results have proven that the tool of this paper is feasible.This work is partially supported by National Natural Science Foundation of China
under Grant No. 61173042 and 61105047, National Basic Research Program of
P. R. China (973 Program) under Grant No. 2010CB328101, Program for New Century Excellent Talents in University under Grant No. NCET-10-0598, \Shu Guang"
Project supported by Shanghai Municipal Education Commission and Shanghai
Education Development Foundation under Grant No. 10SG23 and Shanghai Rising-
Star Program under Grant No. 12QH1402300, Hong Kong, Macao and Taiwan Science and Technology Cooperation Program of China No. 2013DFM10100
