The web service composition execution engine is a critical problem for web service composition. Based on Petri net and the analysis of structural relationships among web services, the invocation sequence of web service composition and its related invocation policies are fully studied in this paper. Also, the executable invocation policies of web service composition are successfully constructed based on Petri net. Finally, an example of a scientific computation service is given to validate the effectiveness of this method.