a4/tcp/results/learnedModel.small.TTT.wpm.33sec.dot

   1 digraph g {
   2 __start0 [label="" shape="none"];
   3
   4         s0 [shape="circle" label="s0"];
   5         s1 [shape="circle" label="s1"];
   6         s0 -> s1 [label="SYN / SYN-ACK"];
   7         s0 -> s1 [label="ACK / ERR"];
   8         s1 -> s1 [label="SYN / ERR"];
   9         s1 -> s1 [label="ACK / ERR"];
  10
  11 __start0 -> s0;
  12 }