Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems
Ajab Khan, Paolo Torrini, Reiko Heckel · 2024
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.