Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation