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

  STATEY_choice [shape=diamond, label="", fillcolor="blue", width=0.2, height=0.2];
  STATEY -> STATEY_choice [style=dotted, color="blue"];
  STATE16_choice [shape=diamond, label="", fillcolor="green", width=0.2, height=0.2];
  STATE16 -> STATE16_choice [style=dotted, color="green"];
  STATE17_choice [shape=diamond, label="", fillcolor="red", width=0.2, height=0.2];
  STATE17 -> STATE17_choice [style=dotted, color="red"];
  STATE18_choice [shape=diamond, label="", fillcolor="purple", width=0.2, height=0.2];
  STATE18 -> STATE18_choice [style=dotted, color="purple"];
  STATE19_choice [shape=diamond, label="", fillcolor="orange", width=0.2, height=0.2];
  STATE19 -> STATE19_choice [style=dotted, color="orange"];
  STATE20_choice [shape=diamond, label="", fillcolor="brown", width=0.2, height=0.2];
  STATE20 -> STATE20_choice [style=dotted, color="brown"];
  STATE11_choice [shape=diamond, label="", fillcolor="darkgreen", width=0.2, height=0.2];
  STATE11 -> STATE11_choice [style=dotted, color="darkgreen"];
  STATE12_choice [shape=diamond, label="", fillcolor="darkblue", width=0.2, height=0.2];
  STATE12 -> STATE12_choice [style=dotted, color="darkblue"];
  STATE14_choice [shape=diamond, label="", fillcolor="blue", width=0.2, height=0.2];
  STATE14 -> STATE14_choice [style=dotted, color="blue"];
  STATE9_choice [shape=diamond, label="", fillcolor="green", width=0.2, height=0.2];
  STATE9 -> STATE9_choice [style=dotted, color="green"];
  STATE8_choice [shape=diamond, label="", fillcolor="red", width=0.2, height=0.2];
  STATE8 -> STATE8_choice [style=dotted, color="red"];
  _start [shape=circle, label="", fillcolor=black, width=0.1];
  _start -> STATE1;
  STATEZ [fillcolor=lightgray];
  STATE1 -> STATE2 [label="Events.EVENT1", style="solid", color="black"];
  STATE2 -> STATE3 [label="Events.EVENT2", style="solid", color="black"];
  STATE3 -> STATE4 [label="Events.EVENT3", style="solid", color="black"];
  STATE4 -> STATE5 [label="Events.EVENT4", style="solid", color="black"];
  STATE5 -> STATE6 [label="Events.EVENT5", style="solid", color="black"];
  STATE6 -> STATE7 [label="Events.EVENT6", style="solid", color="black"];
  STATE7 -> STATE8 [label="Events.EVENT7", style="solid", color="black"];
  STATE8 -> STATE9 [label="Events.EVENT8", style="solid", color="black"];
  STATE9 -> STATE10 [label="Events.EVENT9", style="solid", color="black"];
  STATE10 -> STATE11 [label="Events.EVENT10", style="solid", color="black"];
  STATE11 -> STATE12 [label="Events.EVENT11", style="solid", color="black"];
  STATE12 -> STATE13 [label="Events.EVENT12", style="solid", color="black"];
  STATE13 -> STATE14 [label="Events.EVENT13", style="solid", color="black"];
  STATE14 -> STATE15 [label="Events.EVENT14", style="solid", color="black"];
  STATE15 -> STATE16 [label="Events.EVENT15", style="solid", color="black"];
  STATE4 -> STATEY [label="Events.EVENTY", style="solid", color="black"];
  STATEY_choice -> STATEX [label="[guardVarEquals(\"value1\")] (order=0)", style="solid", color="blue"];
  STATEY_choice -> STATEZ [label="(order=1)", style="solid", color="blue"];
  STATE16_choice -> STATE17 [label="[guardVarEquals(\"value1\")] (order=0)", style="solid", color="green"];
  STATE16_choice -> STATE18 [label="[guardVarEquals(\"value2\")] (order=1)", style="solid", color="green"];
  STATE16_choice -> STATE19 [label="(order=2)", style="solid", color="green"];
  STATE17_choice -> STATE20 [label="[guardEventHeaderEquals(\"header1\",\"foo\")] (order=0)", style="solid", color="red"];
  STATE17_choice -> STATE16 [label="(order=1)", style="solid", color="red"];
  STATE18_choice -> STATE19 [label="[guardVarEquals(\"value3\")] (order=0)", style="solid", color="purple"];
  STATE18_choice -> STATE20 [label="(order=1)", style="solid", color="purple"];
  STATE19_choice -> STATE1 [label="[guardVarEquals(\"reset\")] (order=0)", style="solid", color="orange"];
  STATE19_choice -> STATE20 [label="(order=1)", style="solid", color="orange"];
  STATE20_choice -> STATE5 [label="[guardEventHeaderEquals(\"header2\",\"bar\")] (order=0)", style="solid", color="brown"];
  STATE20_choice -> STATE1 [label="(order=1)", style="solid", color="brown"];
  STATE11_choice -> STATE13 [label="[guardVarEquals(\"goTo13\")] (order=0)", style="solid", color="darkgreen"];
  STATE11_choice -> STATE14 [label="[guardVarEquals(\"goTo14\")] (order=1)", style="solid", color="darkgreen"];
  STATE11_choice -> STATE15 [label="(order=2)", style="solid", color="darkgreen"];
  STATE12_choice -> STATE10 [label="[guardVarEquals(\"goBack10\")] (order=0)", style="solid", color="darkblue"];
  STATE12_choice -> STATE11 [label="(order=1)", style="solid", color="darkblue"];
  STATE14_choice -> STATE12 [label="[guardVarEquals(\"loop12\")] (order=0)", style="solid", color="blue"];
  STATE14_choice -> STATE16 [label="(order=1)", style="solid", color="blue"];
  STATE9_choice -> STATE8 [label="[guardVarEquals(\"stepBack\")] (order=0)", style="solid", color="green"];
  STATE9_choice -> STATE7 [label="[guardVarEquals(\"stepBackMore\")] (order=1)", style="solid", color="green"];
  STATE9_choice -> STATE6 [label="(order=2)", style="solid", color="green"];
  STATE8_choice -> STATE9 [label="[guardVarEquals(\"forward9\")] (order=0)", style="solid", color="red"];
  STATE8_choice -> STATE10 [label="(order=1)", style="solid", color="red"];
  STATE5 -> STATE_EXTRA_1 [label="Events.EVENTX", style="solid", color="black"];
}

