digraph "g" {
"do_shutdown xen-1" [ style=bold color="green" fontcolor="black"]
"drbd0:0_post_notify_demote_0 xen-2" -> "ms-drbd0_confirmed-post_notify_demoted_0" [ style = bold]
"drbd0:0_post_notify_demote_0 xen-2" [ style=bold color="green" fontcolor="black"]
"drbd0:0_post_notify_promote_0 xen-2" -> "ms-drbd0_confirmed-post_notify_promoted_0" [ style = bold]
"drbd0:0_post_notify_promote_0 xen-2" [ style=bold color="green" fontcolor="black"]
"drbd0:0_post_notify_stop_0 xen-2" -> "ms-drbd0_confirmed-post_notify_stopped_0" [ style = bold]
"drbd0:0_post_notify_stop_0 xen-2" [ style=bold color="green" fontcolor="black"]
"drbd0:0_pre_notify_demote_0 xen-2" -> "ms-drbd0_confirmed-pre_notify_demote_0" [ style = bold]
"drbd0:0_pre_notify_demote_0 xen-2" [ style=bold color="green" fontcolor="black"]
"drbd0:0_pre_notify_promote_0 xen-2" -> "ms-drbd0_confirmed-pre_notify_promote_0" [ style = bold]
"drbd0:0_pre_notify_promote_0 xen-2" [ style=bold color="green" fontcolor="black"]
"drbd0:0_pre_notify_stop_0 xen-2" -> "ms-drbd0_confirmed-pre_notify_stop_0" [ style = bold]
"drbd0:0_pre_notify_stop_0 xen-2" [ style=bold color="green" fontcolor="black"]
"drbd0:0_promote_0 xen-2" -> "ms-drbd0_promoted_0" [ style = bold]
"drbd0:0_promote_0 xen-2" [ style=bold color="green" fontcolor="black"]
"drbd0:1_demote_0 xen-1" -> "drbd0:1_stop_0 xen-1" [ style = bold]
"drbd0:1_demote_0 xen-1" -> "ms-drbd0_demoted_0" [ style = bold]
"drbd0:1_demote_0 xen-1" [ style=bold color="green" fontcolor="black"]
"drbd0:1_post_notify_demote_0 xen-1" -> "ms-drbd0_confirmed-post_notify_demoted_0" [ style = bold]
"drbd0:1_post_notify_demote_0 xen-1" [ style=bold color="green" fontcolor="black"]
"drbd0:1_pre_notify_demote_0 xen-1" -> "ms-drbd0_confirmed-pre_notify_demote_0" [ style = bold]
"drbd0:1_pre_notify_demote_0 xen-1" [ style=bold color="green" fontcolor="black"]
"drbd0:1_pre_notify_stop_0 xen-1" -> "ms-drbd0_confirmed-pre_notify_stop_0" [ style = bold]
"drbd0:1_pre_notify_stop_0 xen-1" [ style=bold color="green" fontcolor="black"]
"drbd0:1_stop_0 xen-1" -> "do_shutdown xen-1" [ style = bold]
"drbd0:1_stop_0 xen-1" -> "ms-drbd0_stopped_0" [ style = bold]
"drbd0:1_stop_0 xen-1" [ style=bold color="green" fontcolor="black"]
"fs_1_start_0 xen-2" [ style=bold color="green" fontcolor="black"]
"fs_1_stop_0 xen-1" -> "do_shutdown xen-1" [ style = bold]
"fs_1_stop_0 xen-1" -> "fs_1_start_0 xen-2" [ style = bold]
"fs_1_stop_0 xen-1" -> "ms-drbd0_demote_0" [ style = bold]
"fs_1_stop_0 xen-1" [ style=bold color="green" fontcolor="black"]
"ms-drbd0_confirmed-post_notify_demoted_0" -> "ms-drbd0_pre_notify_promote_0" [ style = bold]
"ms-drbd0_confirmed-post_notify_demoted_0" -> "ms-drbd0_pre_notify_stop_0" [ style = bold]
"ms-drbd0_confirmed-post_notify_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_confirmed-post_notify_promoted_0" -> "fs_1_start_0 xen-2" [ style = bold]
"ms-drbd0_confirmed-post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_confirmed-post_notify_stopped_0" -> "ms-drbd0_pre_notify_promote_0" [ style = bold]
"ms-drbd0_confirmed-post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_confirmed-pre_notify_demote_0" -> "ms-drbd0_demote_0" [ style = bold]
"ms-drbd0_confirmed-pre_notify_demote_0" -> "ms-drbd0_post_notify_demoted_0" [ style = bold]
"ms-drbd0_confirmed-pre_notify_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_confirmed-pre_notify_promote_0" -> "ms-drbd0_post_notify_promoted_0" [ style = bold]
"ms-drbd0_confirmed-pre_notify_promote_0" -> "ms-drbd0_promote_0" [ style = bold]
"ms-drbd0_confirmed-pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_confirmed-pre_notify_stop_0" -> "ms-drbd0_post_notify_stopped_0" [ style = bold]
"ms-drbd0_confirmed-pre_notify_stop_0" -> "ms-drbd0_stop_0" [ style = bold]
"ms-drbd0_confirmed-pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_demote_0" -> "drbd0:1_demote_0 xen-1" [ style = bold]
"ms-drbd0_demote_0" -> "ms-drbd0_demoted_0" [ style = bold]
"ms-drbd0_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_demoted_0" -> "ms-drbd0_post_notify_demoted_0" [ style = bold]
"ms-drbd0_demoted_0" -> "ms-drbd0_promote_0" [ style = bold]
"ms-drbd0_demoted_0" -> "ms-drbd0_stop_0" [ style = bold]
"ms-drbd0_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_post_notify_demoted_0" -> "drbd0:0_post_notify_demote_0 xen-2" [ style = bold]
"ms-drbd0_post_notify_demoted_0" -> "drbd0:1_post_notify_demote_0 xen-1" [ style = bold]
"ms-drbd0_post_notify_demoted_0" -> "ms-drbd0_confirmed-post_notify_demoted_0" [ style = bold]
"ms-drbd0_post_notify_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_post_notify_promoted_0" -> "drbd0:0_post_notify_promote_0 xen-2" [ style = bold]
"ms-drbd0_post_notify_promoted_0" -> "ms-drbd0_confirmed-post_notify_promoted_0" [ style = bold]
"ms-drbd0_post_notify_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_post_notify_stopped_0" -> "drbd0:0_post_notify_stop_0 xen-2" [ style = bold]
"ms-drbd0_post_notify_stopped_0" -> "ms-drbd0_confirmed-post_notify_stopped_0" [ style = bold]
"ms-drbd0_post_notify_stopped_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_pre_notify_demote_0" -> "drbd0:0_pre_notify_demote_0 xen-2" [ style = bold]
"ms-drbd0_pre_notify_demote_0" -> "drbd0:1_pre_notify_demote_0 xen-1" [ style = bold]
"ms-drbd0_pre_notify_demote_0" -> "ms-drbd0_confirmed-pre_notify_demote_0" [ style = bold]
"ms-drbd0_pre_notify_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_pre_notify_promote_0" -> "drbd0:0_pre_notify_promote_0 xen-2" [ style = bold]
"ms-drbd0_pre_notify_promote_0" -> "ms-drbd0_confirmed-pre_notify_promote_0" [ style = bold]
"ms-drbd0_pre_notify_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_pre_notify_stop_0" -> "drbd0:0_pre_notify_stop_0 xen-2" [ style = bold]
"ms-drbd0_pre_notify_stop_0" -> "drbd0:1_pre_notify_stop_0 xen-1" [ style = bold]
"ms-drbd0_pre_notify_stop_0" -> "ms-drbd0_confirmed-pre_notify_stop_0" [ style = bold]
"ms-drbd0_pre_notify_stop_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_promote_0" -> "drbd0:0_promote_0 xen-2" [ style = bold]
"ms-drbd0_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_promoted_0" -> "ms-drbd0_post_notify_promoted_0" [ style = bold]
"ms-drbd0_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_stop_0" -> "drbd0:1_stop_0 xen-1" [ style = bold]
"ms-drbd0_stop_0" -> "ms-drbd0_stopped_0" [ style = bold]
"ms-drbd0_stop_0" [ style=bold color="green" fontcolor="orange"]
"ms-drbd0_stopped_0" -> "ms-drbd0_post_notify_stopped_0" [ style = bold]
"ms-drbd0_stopped_0" -> "ms-drbd0_promote_0" [ style = bold]
"ms-drbd0_stopped_0" [ style=bold color="green" fontcolor="orange"]
}