digraph "g" {
"all_stopped" [ style=bold color="green" fontcolor="orange"  ]
"child_rsc1:0_monitor_0 node2" -> "probe_complete node2" [ style = bold]
"child_rsc1:0_monitor_0 node2" [ style=bold color="green" fontcolor="black" ]
"child_rsc1:1_monitor_0 node2" -> "probe_complete node2" [ style = bold]
"child_rsc1:1_monitor_0 node2" [ style=bold color="green" fontcolor="black" ]
"child_rsc1:2_monitor_0 node2" -> "probe_complete node2" [ style = bold]
"child_rsc1:2_monitor_0 node2" [ style=bold color="green" fontcolor="black" ]
"child_rsc1:2_stop_0 node1" -> "all_stopped" [ style = bold]
"child_rsc1:2_stop_0 node1" -> "rsc1_stopped_0" [ style = bold]
"child_rsc1:2_stop_0 node1" [ style=bold color="green" fontcolor="black" ]
"child_rsc1:3_monitor_0 node1" -> "probe_complete node1" [ style = bold]
"child_rsc1:3_monitor_0 node1" [ style=bold color="green" fontcolor="black" ]
"child_rsc1:4_monitor_0 node1" -> "probe_complete node1" [ style = bold]
"child_rsc1:4_monitor_0 node1" [ style=bold color="green" fontcolor="black" ]
"probe_complete node1" -> "probe_complete" [ style = bold]
"probe_complete node1" [ style=bold color="green" fontcolor="black" ]
"probe_complete node2" -> "probe_complete" [ style = bold]
"probe_complete node2" [ style=bold color="green" fontcolor="black" ]
"probe_complete" [ style=bold color="green" fontcolor="orange" ]
"rsc1_stop_0" -> "child_rsc1:2_stop_0 node1" [ style = bold]
"rsc1_stop_0" -> "rsc1_stopped_0" [ style = bold]
"rsc1_stop_0" [ style=bold color="green" fontcolor="orange" ]
"rsc1_stopped_0" -> "all_stopped" [ style = bold]
"rsc1_stopped_0" [ style=bold color="green" fontcolor="orange" ]
}