digraph "g" {
"A_monitor_10000 node2" [ style=bold color="green" fontcolor="black"]
"A_start_0 node2" -> "A_monitor_10000 node2" [ style = bold]
"A_start_0 node2" [ style=bold color="green" fontcolor="black"]
"A_stop_0 node1" -> "A_start_0 node2" [ style = bold]
"A_stop_0 node1" [ style=bold color="green" fontcolor="black"]
"Cancel MS_RSC_NATIVE:1_monitor_15000 node1" -> "MS_RSC_NATIVE:1_promote_0 node1" [ style = bold]
"Cancel MS_RSC_NATIVE:1_monitor_15000 node1" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:0_demote_0 node2" -> "MS_RSC_NATIVE:0_monitor_15000 node2" [ style = bold]
"MS_RSC_NATIVE:0_demote_0 node2" -> "MS_RSC_demoted_0" [ style = bold]
"MS_RSC_NATIVE:0_demote_0 node2" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:0_monitor_15000 node2" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:0_post_notify_demote_0 node2" -> "MS_RSC_confirmed-post_notify_demoted_0" [ style = bold]
"MS_RSC_NATIVE:0_post_notify_demote_0 node2" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:0_post_notify_promote_0 node2" -> "MS_RSC_confirmed-post_notify_promoted_0" [ style = bold]
"MS_RSC_NATIVE:0_post_notify_promote_0 node2" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:0_pre_notify_demote_0 node2" -> "MS_RSC_confirmed-pre_notify_demote_0" [ style = bold]
"MS_RSC_NATIVE:0_pre_notify_demote_0 node2" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:0_pre_notify_promote_0 node2" -> "MS_RSC_confirmed-pre_notify_promote_0" [ style = bold]
"MS_RSC_NATIVE:0_pre_notify_promote_0 node2" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:1_post_notify_demote_0 node1" -> "MS_RSC_confirmed-post_notify_demoted_0" [ style = bold]
"MS_RSC_NATIVE:1_post_notify_demote_0 node1" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:1_post_notify_promote_0 node1" -> "MS_RSC_confirmed-post_notify_promoted_0" [ style = bold]
"MS_RSC_NATIVE:1_post_notify_promote_0 node1" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:1_pre_notify_demote_0 node1" -> "MS_RSC_confirmed-pre_notify_demote_0" [ style = bold]
"MS_RSC_NATIVE:1_pre_notify_demote_0 node1" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:1_pre_notify_promote_0 node1" -> "MS_RSC_confirmed-pre_notify_promote_0" [ style = bold]
"MS_RSC_NATIVE:1_pre_notify_promote_0 node1" [ style=bold color="green" fontcolor="black"]
"MS_RSC_NATIVE:1_promote_0 node1" -> "MS_RSC_promoted_0" [ style = bold]
"MS_RSC_NATIVE:1_promote_0 node1" [ style=bold color="green" fontcolor="black"]
"MS_RSC_confirmed-post_notify_demoted_0" -> "MS_RSC_NATIVE:0_monitor_15000 node2" [ style = bold]
"MS_RSC_confirmed-post_notify_demoted_0" -> "MS_RSC_pre_notify_promote_0" [ style = bold]
"MS_RSC_confirmed-post_notify_demoted_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_confirmed-post_notify_promoted_0" -> "MS_RSC_NATIVE:0_monitor_15000 node2" [ style = bold]
"MS_RSC_confirmed-post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_confirmed-pre_notify_demote_0" -> "MS_RSC_demote_0" [ style = bold]
"MS_RSC_confirmed-pre_notify_demote_0" -> "MS_RSC_post_notify_demoted_0" [ style = bold]
"MS_RSC_confirmed-pre_notify_demote_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_confirmed-pre_notify_promote_0" -> "MS_RSC_post_notify_promoted_0" [ style = bold]
"MS_RSC_confirmed-pre_notify_promote_0" -> "MS_RSC_promote_0" [ style = bold]
"MS_RSC_confirmed-pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_demote_0" -> "MS_RSC_NATIVE:0_demote_0 node2" [ style = bold]
"MS_RSC_demote_0" -> "MS_RSC_demoted_0" [ style = bold]
"MS_RSC_demote_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_demoted_0" -> "MS_RSC_post_notify_demoted_0" [ style = bold]
"MS_RSC_demoted_0" -> "MS_RSC_promote_0" [ style = bold]
"MS_RSC_demoted_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_post_notify_demoted_0" -> "MS_RSC_NATIVE:0_post_notify_demote_0 node2" [ style = bold]
"MS_RSC_post_notify_demoted_0" -> "MS_RSC_NATIVE:1_post_notify_demote_0 node1" [ style = bold]
"MS_RSC_post_notify_demoted_0" -> "MS_RSC_confirmed-post_notify_demoted_0" [ style = bold]
"MS_RSC_post_notify_demoted_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_post_notify_promoted_0" -> "MS_RSC_NATIVE:0_post_notify_promote_0 node2" [ style = bold]
"MS_RSC_post_notify_promoted_0" -> "MS_RSC_NATIVE:1_post_notify_promote_0 node1" [ style = bold]
"MS_RSC_post_notify_promoted_0" -> "MS_RSC_confirmed-post_notify_promoted_0" [ style = bold]
"MS_RSC_post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_pre_notify_demote_0" -> "MS_RSC_NATIVE:0_pre_notify_demote_0 node2" [ style = bold]
"MS_RSC_pre_notify_demote_0" -> "MS_RSC_NATIVE:1_pre_notify_demote_0 node1" [ style = bold]
"MS_RSC_pre_notify_demote_0" -> "MS_RSC_confirmed-pre_notify_demote_0" [ style = bold]
"MS_RSC_pre_notify_demote_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_pre_notify_promote_0" -> "MS_RSC_NATIVE:0_pre_notify_promote_0 node2" [ style = bold]
"MS_RSC_pre_notify_promote_0" -> "MS_RSC_NATIVE:1_pre_notify_promote_0 node1" [ style = bold]
"MS_RSC_pre_notify_promote_0" -> "MS_RSC_confirmed-pre_notify_promote_0" [ style = bold]
"MS_RSC_pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_promote_0" -> "MS_RSC_NATIVE:1_promote_0 node1" [ style = bold]
"MS_RSC_promote_0" [ style=bold color="green" fontcolor="orange"]
"MS_RSC_promoted_0" -> "MS_RSC_post_notify_promoted_0" [ style = bold]
"MS_RSC_promoted_0" [ style=bold color="green" fontcolor="orange"]
}