1digraph "g" { 2"ms1_demote_0" -> "ms1_demoted_0" [ style = bold] 3"ms1_demote_0" -> "rsc1:1_demote_0 node1" [ style = bold] 4"ms1_demote_0" [ style=bold color="green" fontcolor="orange" ] 5"ms1_demoted_0" -> "ms1_stop_0" [ style = bold] 6"ms1_demoted_0" [ style=bold color="green" fontcolor="orange" ] 7"ms1_stop_0" -> "ms1_stopped_0" [ style = bold] 8"ms1_stop_0" -> "rsc1:0_stop_0 node2" [ style = bold] 9"ms1_stop_0" -> "rsc1:1_stop_0 node1" [ style = bold] 10"ms1_stop_0" [ style=bold color="green" fontcolor="orange" ] 11"ms1_stopped_0" [ style=bold color="green" fontcolor="orange" ] 12"rsc1:0_stop_0 node2" -> "ms1_stopped_0" [ style = bold] 13"rsc1:0_stop_0 node2" [ style=bold color="green" fontcolor="black" ] 14"rsc1:1_demote_0 node1" -> "ms1_demoted_0" [ style = bold] 15"rsc1:1_demote_0 node1" -> "rsc1:1_stop_0 node1" [ style = bold] 16"rsc1:1_demote_0 node1" [ style=bold color="green" fontcolor="black" ] 17"rsc1:1_stop_0 node1" -> "ms1_stopped_0" [ style = bold] 18"rsc1:1_stop_0 node1" [ style=bold color="green" fontcolor="black" ] 19} 20