tilat:
   1 #l=0 v=0 s k
   2 #l=0 v=0 s_0 k
   3 #l=0 v=1 s k_0
   4 #l=0 v=1 s_0 k_0
   5 #l=1 v=1 s k
   6 #l=0 v=1 s k
   7 #l=1 v=1 s_0 k
   8 #l=0 v=1 s_0 k
   9 #l=1 v=1 s_1 k
  10 #l=1 v=1 s k_0
  11 #l=1 v=0 s k_1
  12 #l=1 v=1 s_1 k_0
  13 #l=1 v=0 s_1 k_1
  14 #l=1 v=0 s k
  15 #l=0 v=0 s_1 k
  16 #l=1 v=0 s_1 k
  17 #l=0 v=0 s k_1
  18 #l=0 v=0 s_0 k_1

siirtymät:
  "hävitä sanoma"
  12->10;
  7->5;
  4->3;
  18->17;
  15->1;
  13->11;
  16->14;
  9->5;
  8->6;
  2->1;

  "hävitä kuittaus"
  13->16;
  12->9;
  10->5;
  4->8;
  18->2;
  17->1;
  11->14;
  3->6;

  odotetun viestin vastaanotto ja kuittaus
  9->11; # "?sanoma1!kuittaus1"
  2->3;  # "?sanoma0!kuittaus0"

  ylimääräisen viestin kuittaus
  15->17; # "?sanoma1!kuittaus"
  16->11; # "?sanoma1!kuittaus"
  8->3;   # "?sanoma0!kuittaus"
  7->10;  # "?sanoma0!kuittaus"

  kuittauksen vastaanotto
  4->7;  # "?kuittaus0"
  13->15;# "?kuittaus1"
  11->1; # "?kuittaus1"
  3->5;  # "?kuittaus0"
  12->9; # "?kuittaus0"
  10->5; # "?kuittaus0"
  18->2; # "?kuittaus1"
  17->1; # "?kuittaus1"

  sanoman lähetys
  10->12; # "!sanoma1"
  14->16; # "!sanoma1"
  11->13; # "!sanoma1"
  5->9;   # "!sanoma1"
  17->18; # "!sanoma0"
  6->8;   # "!sanoma0"
  3->4;   # "!sanoma0"
  1->2;   # "!sanoma0"