The emergence of web services has created significant opportunities for businesses today, while mobile networks have become a standard part of modern life. Web services in wireless environments are a new challenge for technology. In this thesis, we are interested in the performance evaluation of web services. More specifically, we have sought to model, through the petri net formalism, the behavior of services in the mobile environment. We first studied the web services and the associated technologies, then we presented the execution environment of the web services: the mobile environment, its architecture, its characteristics and the management of transactions as well as the WAP protocol. The well trained stochastic Petri nets used for modeling web services in the mobile environment are then presented and finally we proposed a performance model and analyzed the numerical results thanks to the GreatSPN and WNSIM utility.