digraph node_states { 
 | 
    Secondary -> Primary           [ label = "ioctl_set_state()" ] 
 | 
    Primary   -> Secondary            [ label = "ioctl_set_state()" ] 
 | 
} 
 | 
  
 | 
digraph peer_states { 
 | 
    Secondary -> Primary           [ label = "recv state packet" ] 
 | 
    Primary   -> Secondary            [ label = "recv state packet" ] 
 | 
    Primary   -> Unknown            [ label = "connection lost" ] 
 | 
    Secondary  -> Unknown             [ label = "connection lost" ] 
 | 
    Unknown   -> Primary           [ label = "connected" ] 
 | 
    Unknown   -> Secondary         [ label = "connected" ] 
 | 
} 
 |