The semantic web service based on Petri net is described and modeled in this paper firstly. Secondly, Petri net formalized elements is added to web service. Thirdly, in order to put it come into practice, Petri net model is described with XML. Lastly, this paper gave the practice of web service composition.