Z. Ding, J. Liu, J. Wang, and F. Wang, “An Executable Service Composition Code Automatic Creation Tool Based on Petri Net Model”, Comput. Inform., vol. 32, no. 5, pp. 968–986, Jan. 2014.