digraph "g" {
"group:0_running_0" -> "ms-sf_running_0" [ style = bold]
"group:0_running_0" [ style=bold color="green" fontcolor="orange"]
"group:0_start_0" -> "group:0_running_0" [ style = bold]
"group:0_start_0" -> "stateful-2:0_start_0 node-b" [ style = bold]
"group:0_start_0" [ style=bold color="green" fontcolor="orange"]
"group:1_promote_0" -> "stateful-2:1_promote_0 node-a" [ style = bold]
"group:1_promote_0" [ style=bold color="green" fontcolor="orange"]
"group:1_promoted_0" -> "ms-sf_promoted_0" [ style = bold]
"group:1_promoted_0" [ style=bold color="green" fontcolor="orange"]
"group:1_running_0" -> "ms-sf_running_0" [ style = bold]
"group:1_running_0" [ style=bold color="green" fontcolor="orange"]
"group:1_start_0" -> "group:1_running_0" [ style = bold]
"group:1_start_0" -> "stateful-2:1_start_0 node-a" [ style = bold]
"group:1_start_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_promote_0" -> "group:1_promote_0" [ style = bold]
"ms-sf_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_promoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_running_0" -> "ms-sf_promote_0" [ style = bold]
"ms-sf_running_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_start_0" -> "group:0_start_0" [ style = bold]
"ms-sf_start_0" -> "group:1_start_0" [ style = bold]
"ms-sf_start_0" -> "ms-sf_running_0" [ style = bold]
"ms-sf_start_0" [ style=bold color="green" fontcolor="orange"]
"stateful-2:0_monitor_0 node-a" -> "ms-sf_start_0" [ style = bold]
"stateful-2:0_monitor_0 node-a" [ style=bold color="green" fontcolor="black"]
"stateful-2:0_monitor_0 node-b" -> "ms-sf_start_0" [ style = bold]
"stateful-2:0_monitor_0 node-b" [ style=bold color="green" fontcolor="black"]
"stateful-2:0_start_0 node-b" -> "group:0_running_0" [ style = bold]
"stateful-2:0_start_0 node-b" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_monitor_0 node-a" -> "ms-sf_start_0" [ style = bold]
"stateful-2:1_monitor_0 node-a" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_monitor_0 node-b" -> "ms-sf_start_0" [ style = bold]
"stateful-2:1_monitor_0 node-b" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_promote_0 node-a" -> "group:1_promoted_0" [ style = bold]
"stateful-2:1_promote_0 node-a" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_start_0 node-a" -> "group:1_running_0" [ style = bold]
"stateful-2:1_start_0 node-a" -> "stateful-2:1_promote_0 node-a" [ style = bold]
"stateful-2:1_start_0 node-a" [ style=bold color="green" fontcolor="black"]
}