Ding, Z.; Liu, J.; Wang, J.; Wang, F. An Executable Service Composition Code Automatic Creation Tool Based on Petri Net Model. Comput. Inform. 2014, 32, 968-986.