digraph "g" {
"FAKE1-clone_running_0" [ style=bold color="green" fontcolor="orange"]
"FAKE1-clone_start_0" -> "FAKE1-clone_running_0" [ style = bold]
"FAKE1-clone_start_0" -> "FAKE1:1_start_0 c7auto1" [ style = bold]
"FAKE1-clone_start_0" -> "FAKE1_start_0 c7auto2" [ style = bold]
"FAKE1-clone_start_0" [ style=bold color="green" fontcolor="orange"]
"FAKE1:1_monitor_10000 c7auto1" [ style=bold color="green" fontcolor="black"]
"FAKE1:1_start_0 c7auto1" -> "FAKE1-clone_running_0" [ style = bold]
"FAKE1:1_start_0 c7auto1" -> "FAKE1:1_monitor_10000 c7auto1" [ style = bold]
"FAKE1:1_start_0 c7auto1" -> "clone-one-or-more:order-FAKE1-clone-FAKE2-clone-mandatory" [ style = bold]
"FAKE1:1_start_0 c7auto1" [ style=bold color="green" fontcolor="black"]
"FAKE1_monitor_10000 c7auto2" [ style=bold color="green" fontcolor="black"]
"FAKE1_start_0 c7auto2" -> "FAKE1-clone_running_0" [ style = bold]
"FAKE1_start_0 c7auto2" -> "FAKE1_monitor_10000 c7auto2" [ style = bold]
"FAKE1_start_0 c7auto2" -> "clone-one-or-more:order-FAKE1-clone-FAKE2-clone-mandatory" [ style = bold]
"FAKE1_start_0 c7auto2" [ style=bold color="green" fontcolor="black"]
"FAKE2-clone_running_0" -> "FAKE3-clone_start_0" [ style = bold]
"FAKE2-clone_running_0" [ style=bold color="green" fontcolor="orange"]
"FAKE2-clone_start_0" -> "FAKE2-clone_running_0" [ style = bold]
"FAKE2-clone_start_0" -> "FAKE2:1_start_0 c7auto2" [ style = bold]
"FAKE2-clone_start_0" -> "FAKE2:2_start_0 c7auto1" [ style = bold]
"FAKE2-clone_start_0" -> "FAKE2_start_0 c7auto3" [ style = bold]
"FAKE2-clone_start_0" [ style=bold color="green" fontcolor="orange"]
"FAKE2:1_monitor_10000 c7auto2" [ style=bold color="green" fontcolor="black"]
"FAKE2:1_start_0 c7auto2" -> "FAKE2-clone_running_0" [ style = bold]
"FAKE2:1_start_0 c7auto2" -> "FAKE2:1_monitor_10000 c7auto2" [ style = bold]
"FAKE2:1_start_0 c7auto2" -> "FAKE3:1_start_0 c7auto2" [ style = bold]
"FAKE2:1_start_0 c7auto2" [ style=bold color="green" fontcolor="black"]
"FAKE2:2_monitor_10000 c7auto1" [ style=bold color="green" fontcolor="black"]
"FAKE2:2_start_0 c7auto1" -> "FAKE2-clone_running_0" [ style = bold]
"FAKE2:2_start_0 c7auto1" -> "FAKE2:2_monitor_10000 c7auto1" [ style = bold]
"FAKE2:2_start_0 c7auto1" -> "FAKE3:2_start_0 c7auto1" [ style = bold]
"FAKE2:2_start_0 c7auto1" [ style=bold color="green" fontcolor="black"]
"FAKE2_monitor_10000 c7auto3" [ style=bold color="green" fontcolor="black"]
"FAKE2_start_0 c7auto3" -> "FAKE2-clone_running_0" [ style = bold]
"FAKE2_start_0 c7auto3" -> "FAKE2_monitor_10000 c7auto3" [ style = bold]
"FAKE2_start_0 c7auto3" -> "FAKE3_start_0 c7auto3" [ style = bold]
"FAKE2_start_0 c7auto3" [ style=bold color="green" fontcolor="black"]
"FAKE3-clone_running_0" [ style=bold color="green" fontcolor="orange"]
"FAKE3-clone_start_0" -> "FAKE3-clone_running_0" [ style = bold]
"FAKE3-clone_start_0" -> "FAKE3:1_start_0 c7auto2" [ style = bold]
"FAKE3-clone_start_0" -> "FAKE3:2_start_0 c7auto1" [ style = bold]
"FAKE3-clone_start_0" -> "FAKE3_start_0 c7auto3" [ style = bold]
"FAKE3-clone_start_0" [ style=bold color="green" fontcolor="orange"]
"FAKE3:1_monitor_10000 c7auto2" [ style=bold color="green" fontcolor="black"]
"FAKE3:1_start_0 c7auto2" -> "FAKE3-clone_running_0" [ style = bold]
"FAKE3:1_start_0 c7auto2" -> "FAKE3:1_monitor_10000 c7auto2" [ style = bold]
"FAKE3:1_start_0 c7auto2" [ style=bold color="green" fontcolor="black"]
"FAKE3:2_monitor_10000 c7auto1" [ style=bold color="green" fontcolor="black"]
"FAKE3:2_start_0 c7auto1" -> "FAKE3-clone_running_0" [ style = bold]
"FAKE3:2_start_0 c7auto1" -> "FAKE3:2_monitor_10000 c7auto1" [ style = bold]
"FAKE3:2_start_0 c7auto1" [ style=bold color="green" fontcolor="black"]
"FAKE3_monitor_10000 c7auto3" [ style=bold color="green" fontcolor="black"]
"FAKE3_start_0 c7auto3" -> "FAKE3-clone_running_0" [ style = bold]
"FAKE3_start_0 c7auto3" -> "FAKE3_monitor_10000 c7auto3" [ style = bold]
"FAKE3_start_0 c7auto3" [ style=bold color="green" fontcolor="black"]
"clone-one-or-more:order-FAKE1-clone-FAKE2-clone-mandatory" -> "FAKE2-clone_start_0" [ style = bold]
"clone-one-or-more:order-FAKE1-clone-FAKE2-clone-mandatory" [ style=bold color="green" fontcolor="orange"]
}