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 -> NEW;
  SHIPPED [fillcolor=lightgray];
  NEW -> PENDING [label="OrderEvent.PAY / λ", style="solid", color="black"];
  PENDING -> SHIPPED [label="OrderEvent.SHIP", style="solid", color="black"];
}

