digraph G {

  initial[label="", shape="circle", xlabel="refund"];
  pending_merchant[label="merchant"];
  pending_refresh[label="refresh"];
  //aborting_merchant[label="merchant", style=dashed];
  //aborting_refresh[label="refresh",style=dashed];
  //aborted[label="aborted", style=dashed, shape=box];
  done[label="done", shape="box"];

  initial->pending_merchant;

  pending_merchant->pending_refresh [color=green];
  //pending_merchant -> aborting_merchant [color=blue, style=dashed];
  //aborting_merchant -> aborted [color=green];
  //pending_refresh -> aborting_refresh [color=blue];
  //aborting_refresh -> aborted [color=green];
  pending_refresh -> done [color=green];
}