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:0_stop_0" -> "group:0_stopped_0" [ style = bold]
"group:0_stop_0" -> "stateful-2:0_stop_0 node-b" [ style = bold]
"group:0_stop_0" [ style=bold color="green" fontcolor="orange"]
"group:0_stopped_0" -> "group:0_start_0" [ style = bold]
"group:0_stopped_0" -> "ms-sf_stopped_0" [ style = bold]
"group:0_stopped_0" [ style=bold color="green" fontcolor="orange"]
"group:1_demote_0" -> "group:1_promote_0" [ style = bold]
"group:1_demote_0" -> "stateful-2:1_demote_0 node-a" [ style = bold]
"group:1_demote_0" [ style=bold color="green" fontcolor="orange"]
"group:1_demoted_0" -> "ms-sf_demoted_0" [ style = bold]
"group:1_demoted_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"]
"group:1_stop_0" -> "group:1_stopped_0" [ style = bold]
"group:1_stop_0" -> "stateful-2:1_stop_0 node-a" [ style = bold]
"group:1_stop_0" [ style=bold color="green" fontcolor="orange"]
"group:1_stopped_0" -> "group:1_start_0" [ style = bold]
"group:1_stopped_0" -> "ms-sf_stopped_0" [ style = bold]
"group:1_stopped_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_demote_0" -> "group:1_demote_0" [ style = bold]
"ms-sf_demote_0" -> "ms-sf_demoted_0" [ style = bold]
"ms-sf_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_demoted_0" -> "ms-sf_promote_0" [ style = bold]
"ms-sf_demoted_0" -> "ms-sf_start_0" [ style = bold]
"ms-sf_demoted_0" -> "ms-sf_stop_0" [ style = bold]
"ms-sf_demoted_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"]
"ms-sf_stop_0" -> "group:0_stop_0" [ style = bold]
"ms-sf_stop_0" -> "group:1_stop_0" [ style = bold]
"ms-sf_stop_0" -> "ms-sf_stopped_0" [ style = bold]
"ms-sf_stop_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_stopped_0" -> "ms-sf_promote_0" [ style = bold]
"ms-sf_stopped_0" -> "ms-sf_start_0" [ style = bold]
"ms-sf_stopped_0" [ style=bold color="green" fontcolor="orange"]
"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:0_stop_0 node-b" -> "group:0_stopped_0" [ style = bold]
"stateful-2:0_stop_0 node-b" -> "stateful-2:0_start_0 node-b" [ style = bold]
"stateful-2:0_stop_0 node-b" [ style=bold color="green" fontcolor="black"]
"stateful-2:1_demote_0 node-a" -> "group:1_demoted_0" [ style = bold]
"stateful-2:1_demote_0 node-a" -> "stateful-2:1_stop_0 node-a" [ style = bold]
"stateful-2:1_demote_0 node-a" [ 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"]
"stateful-2:1_stop_0 node-a" -> "group:1_stopped_0" [ style = bold]
"stateful-2:1_stop_0 node-a" -> "stateful-2:1_start_0 node-a" [ style = bold]
"stateful-2:1_stop_0 node-a" [ style=bold color="green" fontcolor="black"]
}