We address the modelling and validation of P2P networks with special attention for problems related to VoIP services, focusing particularly on Skype. We use generalised stochastic graph transformation systems and associated stochastic simulation techniques based on generalised semi-Markov processes.