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 -> START;
  END [fillcolor=lightgray];
  START -> FORK [label="Events.TO_FORK", style="solid", color="black"];
  FORK -> REGION1_STATE1 [style="bold", color="green"];
  FORK -> REGION2_STATE1 [style="bold", color="green"];
  REGION1_STATE1 -> REGION1_STATE2 [label="Events.R1_NEXT", style="solid", color="black"];
  REGION2_STATE1 -> REGION2_STATE2 [label="Events.R2_NEXT", style="solid", color="black"];
  REGION1_STATE2 -> JOIN [style="bold", color="darkorange"];
  REGION2_STATE2 -> JOIN [style="bold", color="darkorange"];
  JOIN -> END [label="Events.TO_END", style="solid", color="black"];
}

