Firstly,the semantic Web service based on Petri net is described and modeled in this paper.Secondly,Petri net formalized elements are added to Web service.Thirdly,Petri net model is described with XML in order to put the semantic Web service come into practice.Lastly,this paper give the practice of Web service composition.