Network Applications of Graph Bisimulation