digraph statemachine {
  rankdir=LR;
  node [shape=rounded, style=filled, fillcolor=white, fontname="Arial"];
  edge [fontname="Arial", fontsize=10];

  _start [shape=circle, label="", fillcolor=black, width=0.1];
  _start -> GUEST;
  VERIFIED [fillcolor=lightgray];
  GUEST -> REGISTERED [label="UserEvent.REGISTER", style="solid", color="black"];
  REGISTERED -> VERIFIED [label="UserEvent.VERIFY", style="solid", color="black"];
}

