digraph "g" {
"world1_monitor_10000 ubuntu_1" [ style=bold color="green" fontcolor="black"]
"world1_start_0 ubuntu_1" -> "world1_monitor_10000 ubuntu_1" [ style = bold]
"world1_start_0 ubuntu_1" -> "world2_start_0 ubuntu_1" [ style = bold]
"world1_start_0 ubuntu_1" [ style=bold color="green" fontcolor="black"]
"world1_stop_0 ubuntu_2" -> "world1_start_0 ubuntu_1" [ style = bold]
"world1_stop_0 ubuntu_2" [ style=bold color="green" fontcolor="black"]
"world2_monitor_10000 ubuntu_1" [ style=bold color="green" fontcolor="black"]
"world2_start_0 ubuntu_1" -> "world2_monitor_10000 ubuntu_1" [ style = bold]
"world2_start_0 ubuntu_1" -> "world3_start_0 ubuntu_1" [ style = bold]
"world2_start_0 ubuntu_1" [ style=bold color="green" fontcolor="black"]
"world2_stop_0 ubuntu_2" -> "world1_stop_0 ubuntu_2" [ style = bold]
"world2_stop_0 ubuntu_2" -> "world2_start_0 ubuntu_1" [ style = bold]
"world2_stop_0 ubuntu_2" [ style=bold color="green" fontcolor="black"]
"world3_monitor_10000 ubuntu_1" [ style=bold color="green" fontcolor="black"]
"world3_start_0 ubuntu_1" -> "world3_monitor_10000 ubuntu_1" [ style = bold]
"world3_start_0 ubuntu_1" -> "world4_start_0 ubuntu_1" [ style = bold]
"world3_start_0 ubuntu_1" [ style=bold color="green" fontcolor="black"]
"world3_stop_0 ubuntu_2" -> "world2_stop_0 ubuntu_2" [ style = bold]
"world3_stop_0 ubuntu_2" -> "world3_start_0 ubuntu_1" [ style = bold]
"world3_stop_0 ubuntu_2" [ style=bold color="green" fontcolor="black"]
"world4_monitor_10000 ubuntu_1" [ style=bold color="green" fontcolor="black"]
"world4_start_0 ubuntu_1" -> "world4_monitor_10000 ubuntu_1" [ style = bold]
"world4_start_0 ubuntu_1" [ style=bold color="green" fontcolor="black"]
"world4_stop_0 ubuntu_2" -> "world3_stop_0 ubuntu_2" [ style = bold]
"world4_stop_0 ubuntu_2" -> "world4_start_0 ubuntu_1" [ style = bold]
"world4_stop_0 ubuntu_2" [ style=bold color="green" fontcolor="black"]
}