Petri nets are graphical and mathematical modelling tool helpful for representation of semantic web service composition. Semantic web service composition explained by OWL-S language. OWL-S language supports control constructs to explain each phase of semantic web services. Control constructs mainly responsible to identifies the service interaction and compositions of semantic web services. These control constructs are represented by Petri nets. In this paper we present a review of some existing Petri nets models and technology for semantic web service composition.