digraph "g" {
"Cancel rsc1:0_monitor_10000 node2" -> "rsc1:0_promote_0 node2" [ style = bold]
"Cancel rsc1:0_monitor_10000 node2" [ style=bold color="green" fontcolor="black"]
"Cancel rsc1:1_monitor_5000 node1" -> "rsc1:1_demote_0 node1" [ style = bold]
"Cancel rsc1:1_monitor_5000 node1" [ style=bold color="green" fontcolor="black"]
"ms1_confirmed-post_notify_demoted_0" -> "ms1_pre_notify_promote_0" [ style = bold]
"ms1_confirmed-post_notify_demoted_0" -> "rsc1:0_monitor_5000 node2" [ style = bold]
"ms1_confirmed-post_notify_demoted_0" -> "rsc1:1_monitor_10000 node1" [ style = bold]
"ms1_confirmed-post_notify_demoted_0" -> "rsc2_migrate_to_0 node1" [ style = bold]
"ms1_confirmed-post_notify_demoted_0" -> "rsc2_stop_0 node1" [ style = bold]
"ms1_confirmed-post_notify_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms1_confirmed-post_notify_promoted_0" -> "rsc1:0_monitor_5000 node2" [ style = bold]
"ms1_confirmed-post_notify_promoted_0" -> "rsc1:1_monitor_10000 node1" [ style = bold]
"ms1_confirmed-post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms1_confirmed-pre_notify_demote_0" -> "ms1_demote_0" [ style = bold]
"ms1_confirmed-pre_notify_demote_0" -> "ms1_post_notify_demoted_0" [ style = bold]
"ms1_confirmed-pre_notify_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_confirmed-pre_notify_promote_0" -> "ms1_post_notify_promoted_0" [ style = bold]
"ms1_confirmed-pre_notify_promote_0" -> "ms1_promote_0" [ style = bold]
"ms1_confirmed-pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_demote_0" -> "ms1_demoted_0" [ style = bold]
"ms1_demote_0" -> "rsc1:1_demote_0 node1" [ style = bold]
"ms1_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_demoted_0" -> "ms1_post_notify_demoted_0" [ style = bold]
"ms1_demoted_0" -> "ms1_promote_0" [ style = bold]
"ms1_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms1_post_notify_demoted_0" -> "ms1_confirmed-post_notify_demoted_0" [ style = bold]
"ms1_post_notify_demoted_0" -> "rsc1:0_post_notify_demoted_0 node2" [ style = bold]
"ms1_post_notify_demoted_0" -> "rsc1:1_post_notify_demoted_0 node1" [ style = bold]
"ms1_post_notify_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms1_post_notify_promoted_0" -> "ms1_confirmed-post_notify_promoted_0" [ style = bold]
"ms1_post_notify_promoted_0" -> "rsc1:0_post_notify_promoted_0 node2" [ style = bold]
"ms1_post_notify_promoted_0" -> "rsc1:1_post_notify_promoted_0 node1" [ style = bold]
"ms1_post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms1_pre_notify_demote_0" -> "ms1_confirmed-pre_notify_demote_0" [ style = bold]
"ms1_pre_notify_demote_0" -> "rsc1:0_pre_notify_demote_0 node2" [ style = bold]
"ms1_pre_notify_demote_0" -> "rsc1:1_pre_notify_demote_0 node1" [ style = bold]
"ms1_pre_notify_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_pre_notify_promote_0" -> "ms1_confirmed-pre_notify_promote_0" [ style = bold]
"ms1_pre_notify_promote_0" -> "rsc1:0_pre_notify_promote_0 node2" [ style = bold]
"ms1_pre_notify_promote_0" -> "rsc1:1_pre_notify_promote_0 node1" [ style = bold]
"ms1_pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_promote_0" -> "rsc1:0_promote_0 node2" [ style = bold]
"ms1_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_promoted_0" -> "ms1_post_notify_promoted_0" [ style = bold]
"ms1_promoted_0" [ style=bold color="green" fontcolor="orange"]
"rsc1:0_monitor_5000 node2" [ style=bold color="green" fontcolor="black"]
"rsc1:0_post_notify_demoted_0 node2" -> "ms1_confirmed-post_notify_demoted_0" [ style = bold]
"rsc1:0_post_notify_demoted_0 node2" [ style=bold color="green" fontcolor="black"]
"rsc1:0_post_notify_promoted_0 node2" -> "ms1_confirmed-post_notify_promoted_0" [ style = bold]
"rsc1:0_post_notify_promoted_0 node2" [ style=bold color="green" fontcolor="black"]
"rsc1:0_pre_notify_demote_0 node2" -> "ms1_confirmed-pre_notify_demote_0" [ style = bold]
"rsc1:0_pre_notify_demote_0 node2" [ style=bold color="green" fontcolor="black"]
"rsc1:0_pre_notify_promote_0 node2" -> "ms1_confirmed-pre_notify_promote_0" [ style = bold]
"rsc1:0_pre_notify_promote_0 node2" [ style=bold color="green" fontcolor="black"]
"rsc1:0_promote_0 node2" -> "ms1_promoted_0" [ style = bold]
"rsc1:0_promote_0 node2" -> "rsc1:0_monitor_5000 node2" [ style = bold]
"rsc1:0_promote_0 node2" [ style=bold color="green" fontcolor="black"]
"rsc1:1_demote_0 node1" -> "ms1_demoted_0" [ style = bold]
"rsc1:1_demote_0 node1" -> "rsc1:1_monitor_10000 node1" [ style = bold]
"rsc1:1_demote_0 node1" [ style=bold color="green" fontcolor="black"]
"rsc1:1_monitor_10000 node1" [ style=bold color="green" fontcolor="black"]
"rsc1:1_post_notify_demoted_0 node1" -> "ms1_confirmed-post_notify_demoted_0" [ style = bold]
"rsc1:1_post_notify_demoted_0 node1" [ style=bold color="green" fontcolor="black"]
"rsc1:1_post_notify_promoted_0 node1" -> "ms1_confirmed-post_notify_promoted_0" [ style = bold]
"rsc1:1_post_notify_promoted_0 node1" [ style=bold color="green" fontcolor="black"]
"rsc1:1_pre_notify_demote_0 node1" -> "ms1_confirmed-pre_notify_demote_0" [ style = bold]
"rsc1:1_pre_notify_demote_0 node1" [ style=bold color="green" fontcolor="black"]
"rsc1:1_pre_notify_promote_0 node1" -> "ms1_confirmed-pre_notify_promote_0" [ style = bold]
"rsc1:1_pre_notify_promote_0 node1" [ style=bold color="green" fontcolor="black"]
"rsc2_migrate_from_0 node2" -> "rsc2_start_0 node2" [ style = bold]
"rsc2_migrate_from_0 node2" -> "rsc2_stop_0 node1" [ style = bold]
"rsc2_migrate_from_0 node2" [ style=bold color="green" fontcolor="black"]
"rsc2_migrate_to_0 node1" -> "rsc2_migrate_from_0 node2" [ style = bold]
"rsc2_migrate_to_0 node1" [ style=bold color="green" fontcolor="black"]
"rsc2_monitor_5000 node2" [ style=bold color="green" fontcolor="black"]
"rsc2_start_0 node2" -> "ms1_promote_0" [ style = bold]
"rsc2_start_0 node2" -> "rsc2_monitor_5000 node2" [ style = bold]
"rsc2_start_0 node2" [ style=bold color="green" fontcolor="orange"]
"rsc2_stop_0 node1" -> "rsc2_start_0 node2" [ style = bold]
"rsc2_stop_0 node1" [ style=bold color="green" fontcolor="black"]
}