graph1.gv

digraph G {
  center=true;
  size="7.5,10";
  nodesep=1;
  
  idle    [shape=circle, height=1, rank=source];
  effect1 [shape=circle, height=1];
  effect2 [shape=circle, height=1];
  effect3 [shape=circle, height=1, rank=sink];
  
  {rank=same; "effect1"; "effect2"}
  
  idle -> idle       [label="time\ntick" tailport=ne, headport=nw];
  idle -> effect2    [label="time\nout"];
  effect1 -> idle    [label="effect\nover"];
  effect1 -> effect2 [label="effect\nover\n(choose poorly)"];
  effect1 -> effect3 [label="effect\nover\n(solved)"];
  effect2 -> idle    [label="effect\nover"];
  idle -> effect1    [label="touch"];
}