digraph "g" {
"FAKECLONE-clone_running_0" [ style=bold color="green" fontcolor="orange"]
"FAKECLONE-clone_start_0" -> "FAKECLONE-clone_running_0" [ style = bold]
"FAKECLONE-clone_start_0" -> "FAKECLONE:1_start_0 c7auto1" [ style = bold]
"FAKECLONE-clone_start_0" -> "FAKECLONE_start_0 c7auto3" [ style = bold]
"FAKECLONE-clone_start_0" [ style=bold color="green" fontcolor="orange"]
"FAKECLONE:1_monitor_10000 c7auto1" [ style=bold color="green" fontcolor="black"]
"FAKECLONE:1_start_0 c7auto1" -> "FAKECLONE-clone_running_0" [ style = bold]
"FAKECLONE:1_start_0 c7auto1" -> "FAKECLONE:1_monitor_10000 c7auto1" [ style = bold]
"FAKECLONE:1_start_0 c7auto1" -> "clone-one-or-more:order-FAKECLONE-clone-FAKE-mandatory" [ style = bold]
"FAKECLONE:1_start_0 c7auto1" [ style=bold color="green" fontcolor="black"]
"FAKECLONE_monitor_10000 c7auto3" [ style=bold color="green" fontcolor="black"]
"FAKECLONE_start_0 c7auto3" -> "FAKECLONE-clone_running_0" [ style = bold]
"FAKECLONE_start_0 c7auto3" -> "FAKECLONE_monitor_10000 c7auto3" [ style = bold]
"FAKECLONE_start_0 c7auto3" -> "clone-one-or-more:order-FAKECLONE-clone-FAKE-mandatory" [ style = bold]
"FAKECLONE_start_0 c7auto3" [ style=bold color="green" fontcolor="black"]
"FAKE_monitor_10000 c7auto4" [ style=bold color="green" fontcolor="black"]
"FAKE_start_0 c7auto4" -> "FAKE_monitor_10000 c7auto4" [ style = bold]
"FAKE_start_0 c7auto4" [ style=bold color="green" fontcolor="black"]
"clone-one-or-more:order-FAKECLONE-clone-FAKE-mandatory" -> "FAKE_start_0 c7auto4" [ style = bold]
"clone-one-or-more:order-FAKECLONE-clone-FAKE-mandatory" [ style=bold color="green" fontcolor="orange"]
}