digraph "g" {
"child_rsc1:0_monitor_0 node2" -> "rsc1_start_0" [ style = bold]
"child_rsc1:0_monitor_0 node2" -> "rsc1_stopped_0" [ style = bold]
"child_rsc1:0_monitor_0 node2" [ style=bold color="green" fontcolor="black"]
"child_rsc1:0_post_notify_start_0 node1" -> "rsc1_confirmed-post_notify_running_0" [ style = bold]
"child_rsc1:0_post_notify_start_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc1:0_post_notify_stop_0 node1" -> "rsc1_confirmed-post_notify_stopped_0" [ style = bold]
"child_rsc1:0_post_notify_stop_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc1:0_pre_notify_start_0 node1" -> "rsc1_confirmed-pre_notify_start_0" [ style = bold]
"child_rsc1:0_pre_notify_start_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc1:0_pre_notify_stop_0 node1" -> "rsc1_confirmed-pre_notify_stop_0" [ style = bold]
"child_rsc1:0_pre_notify_stop_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc1:1_monitor_0 node1" -> "rsc1_start_0" [ style = bold]
"child_rsc1:1_monitor_0 node1" -> "rsc1_stopped_0" [ style = bold]
"child_rsc1:1_monitor_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc1:1_post_notify_start_0 node1" -> "rsc1_confirmed-post_notify_running_0" [ style = bold]
"child_rsc1:1_post_notify_start_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc1:1_pre_notify_stop_0 node2" -> "rsc1_confirmed-pre_notify_stop_0" [ style = bold]
"child_rsc1:1_pre_notify_stop_0 node2" [ style=bold color="green" fontcolor="black"]
"child_rsc1:1_start_0 node1" -> "rsc1_running_0" [ style = bold]
"child_rsc1:1_start_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc1:1_stop_0 node2" -> "child_rsc1:1_start_0 node1" [ style = bold]
"child_rsc1:1_stop_0 node2" -> "rsc1_stopped_0" [ style = bold]
"child_rsc1:1_stop_0 node2" [ style=bold color="green" fontcolor="black"]
"child_rsc2:0_monitor_0 node2" -> "rsc2_stopped_0" [ style = bold]
"child_rsc2:0_monitor_0 node2" [ style=bold color="green" fontcolor="black"]
"child_rsc2:0_pre_notify_stop_0 node1" -> "rsc2_confirmed-pre_notify_stop_0" [ style = bold]
"child_rsc2:0_pre_notify_stop_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc2:0_stop_0 node1" -> "rsc2_stopped_0" [ style = bold]
"child_rsc2:0_stop_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc2:1_monitor_0 node1" -> "rsc2_stopped_0" [ style = bold]
"child_rsc2:1_monitor_0 node1" [ style=bold color="green" fontcolor="black"]
"child_rsc2:1_monitor_0 node2" -> "rsc2_stopped_0" [ style = bold]
"child_rsc2:1_monitor_0 node2" [ style=bold color="green" fontcolor="black"]
"rsc1_confirmed-post_notify_running_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_confirmed-post_notify_stopped_0" -> "rsc1_pre_notify_start_0" [ style = bold]
"rsc1_confirmed-post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_confirmed-pre_notify_start_0" -> "rsc1_post_notify_running_0" [ style = bold]
"rsc1_confirmed-pre_notify_start_0" -> "rsc1_start_0" [ style = bold]
"rsc1_confirmed-pre_notify_start_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_confirmed-pre_notify_stop_0" -> "rsc1_post_notify_stopped_0" [ style = bold]
"rsc1_confirmed-pre_notify_stop_0" -> "rsc1_stop_0" [ style = bold]
"rsc1_confirmed-pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_post_notify_running_0" -> "child_rsc1:0_post_notify_start_0 node1" [ style = bold]
"rsc1_post_notify_running_0" -> "child_rsc1:1_post_notify_start_0 node1" [ style = bold]
"rsc1_post_notify_running_0" -> "rsc1_confirmed-post_notify_running_0" [ style = bold]
"rsc1_post_notify_running_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_post_notify_stopped_0" -> "child_rsc1:0_post_notify_stop_0 node1" [ style = bold]
"rsc1_post_notify_stopped_0" -> "rsc1_confirmed-post_notify_stopped_0" [ style = bold]
"rsc1_post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_pre_notify_start_0" -> "child_rsc1:0_pre_notify_start_0 node1" [ style = bold]
"rsc1_pre_notify_start_0" -> "rsc1_confirmed-pre_notify_start_0" [ style = bold]
"rsc1_pre_notify_start_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_pre_notify_stop_0" -> "child_rsc1:0_pre_notify_stop_0 node1" [ style = bold]
"rsc1_pre_notify_stop_0" -> "child_rsc1:1_pre_notify_stop_0 node2" [ style = bold]
"rsc1_pre_notify_stop_0" -> "rsc1_confirmed-pre_notify_stop_0" [ style = bold]
"rsc1_pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_running_0" -> "rsc1_post_notify_running_0" [ style = bold]
"rsc1_running_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_start_0" -> "child_rsc1:1_start_0 node1" [ style = bold]
"rsc1_start_0" -> "rsc1_running_0" [ style = bold]
"rsc1_start_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_stop_0" -> "child_rsc1:1_stop_0 node2" [ style = bold]
"rsc1_stop_0" -> "rsc1_stopped_0" [ style = bold]
"rsc1_stop_0" [ style=bold color="green" fontcolor="orange"]
"rsc1_stopped_0" -> "rsc1_post_notify_stopped_0" [ style = bold]
"rsc1_stopped_0" -> "rsc1_start_0" [ style = bold]
"rsc1_stopped_0" [ style=bold color="green" fontcolor="orange"]
"rsc2_confirmed-post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
"rsc2_confirmed-pre_notify_stop_0" -> "rsc2_post_notify_stopped_0" [ style = bold]
"rsc2_confirmed-pre_notify_stop_0" -> "rsc2_stop_0" [ style = bold]
"rsc2_confirmed-pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
"rsc2_post_notify_stopped_0" -> "rsc2_confirmed-post_notify_stopped_0" [ style = bold]
"rsc2_post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
"rsc2_pre_notify_stop_0" -> "child_rsc2:0_pre_notify_stop_0 node1" [ style = bold]
"rsc2_pre_notify_stop_0" -> "rsc2_confirmed-pre_notify_stop_0" [ style = bold]
"rsc2_pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
"rsc2_stop_0" -> "child_rsc2:0_stop_0 node1" [ style = bold]
"rsc2_stop_0" -> "rsc2_stopped_0" [ style = bold]
"rsc2_stop_0" [ style=bold color="green" fontcolor="orange"]
"rsc2_stopped_0" -> "rsc2_post_notify_stopped_0" [ style = bold]
"rsc2_stopped_0" [ style=bold color="green" fontcolor="orange"]
}