O aparecimento dos serviços web criou hoje em dia oportunidades significativas para as empresas, enquanto que as redes móveis se tornaram uma parte padrão da vida moderna. Os serviços Web em ambientes sem fios são um novo desafio para a tecnologia. Nesta dissertação, concentrámo-nos na avaliação do desempenho dos serviços web. Mais especificamente, temos procurado modelar, através do formalismo da rede petri, o comportamento dos serviços no ambiente móvel. Primeiro estudámos os serviços web e as tecnologias associadas, depois apresentámos o ambiente de execução dos serviços web: o ambiente móvel, a sua arquitectura, as suas características e a gestão das transacções, bem como o protocolo WAP. São então apresentadas as redes estocásticas bem treinadas utilizadas para modelar serviços web no ambiente móvel e finalmente propusemos um modelo de desempenho e analisámos os resultados numéricos graças ao utilitário GreatSPN e WNSIM.