digraph "g" {
"do_shutdown process1a" [ style=bold color="green" fontcolor="black"]
"ms-sf_demote_0" -> "ms-sf_demoted_0" [ style = bold]
"ms-sf_demote_0" -> "ms-sf_group:1_demote_0" [ style = bold]
"ms-sf_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_demoted_0" -> "ms-sf_stop_0" [ style = bold]
"ms-sf_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_group:1_demote_0" -> "promotable_Stateful:1_demote_0 process1a" [ style = bold]
"ms-sf_group:1_demote_0" -> "promotable_procdctl:1_demote_0 process1a" [ style = bold]
"ms-sf_group:1_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_group:1_demoted_0" -> "ms-sf_demoted_0" [ style = bold]
"ms-sf_group:1_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_group:1_stop_0" -> "ms-sf_group:1_stopped_0" [ style = bold]
"ms-sf_group:1_stop_0" -> "promotable_Stateful:1_stop_0 process1a" [ style = bold]
"ms-sf_group:1_stop_0" -> "promotable_procdctl:1_stop_0 process1a" [ style = bold]
"ms-sf_group:1_stop_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_group:1_stopped_0" -> "ms-sf_stopped_0" [ style = bold]
"ms-sf_group:1_stopped_0" [ style=bold color="green" fontcolor="orange"]
"ms-sf_stop_0" -> "ms-sf_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" [ style=bold color="green" fontcolor="orange"]
"promotable_Stateful:1_demote_0 process1a" -> "ms-sf_group:1_demoted_0" [ style = bold]
"promotable_Stateful:1_demote_0 process1a" -> "promotable_Stateful:1_stop_0 process1a" [ style = bold]
"promotable_Stateful:1_demote_0 process1a" [ style=bold color="green" fontcolor="black"]
"promotable_Stateful:1_stop_0 process1a" -> "do_shutdown process1a" [ style = bold]
"promotable_Stateful:1_stop_0 process1a" -> "ms-sf_group:1_stopped_0" [ style = bold]
"promotable_Stateful:1_stop_0 process1a" [ style=bold color="green" fontcolor="black"]
"promotable_procdctl:1_demote_0 process1a" -> "ms-sf_group:1_demoted_0" [ style = bold]
"promotable_procdctl:1_demote_0 process1a" -> "promotable_procdctl:1_stop_0 process1a" [ style = bold]
"promotable_procdctl:1_demote_0 process1a" [ style=bold color="green" fontcolor="black"]
"promotable_procdctl:1_stop_0 process1a" -> "do_shutdown process1a" [ style = bold]
"promotable_procdctl:1_stop_0 process1a" -> "ms-sf_group:1_stopped_0" [ style = bold]
"promotable_procdctl:1_stop_0 process1a" [ style=bold color="green" fontcolor="black"]
}