Zhijun Ding, Jiegi Liu, Junli Wang, Fang Wang: An Executable Service Composition Code Automatic Creation Tool Based on Petri Net Model. Comput. Informatics 32(5): 968-986 (2013)