1digraph peer_states { 2 Secondary -> Primary [ label = "recv state packet" ] 3 Primary -> Secondary [ label = "recv state packet" ] 4 Primary -> Unknown [ label = "connection lost" ] 5 Secondary -> Unknown [ label = "connection lost" ] 6 Unknown -> Primary [ label = "connected" ] 7 Unknown -> Secondary [ label = "connected" ] 8} 9