a3/setup.dot

   1 digraph Connection {
   2   "Closed" -> "Listen" [label = "Listen?"]
   3   "Listen" -> "Syn Received'" [label = "SYN?"]
   4   "Syn Received'" -> "Syn Received" [label = "SYN+ACK!"]
   5   "Syn Received" -> "Established" [label = "ACK?"]
   6   "Syn Received" -> "Listen" [label = "RST?"]
   7   "Syn Received'" -> "Listen" [label = "RST?"]
   8 }