1digraph "g" {
2"clone4_stop_0" -> "clone4_stopped_0" [ style = bold]
3"clone4_stop_0" -> "rsc4:0_stop_0 node2" [ style = bold]
4"clone4_stop_0" -> "rsc4:1_stop_0 node1" [ style = bold]
5"clone4_stop_0" [ style=bold color="green" fontcolor="orange" ]
6"clone4_stopped_0" [ style=bold color="green" fontcolor="orange" ]
7"group2_stop_0" -> "group2_stopped_0" [ style = bold]
8"group2_stop_0" -> "rsc2_stop_0 node1" [ style = bold]
9"group2_stop_0" -> "rsc3_stop_0 node1" [ style = bold]
10"group2_stop_0" [ style=bold color="green" fontcolor="orange" ]
11"group2_stopped_0" [ style=bold color="green" fontcolor="orange" ]
12"ms5_demote_0" -> "ms5_demoted_0" [ style = bold]
13"ms5_demote_0" -> "rsc5:1_demote_0 node1" [ style = bold]
14"ms5_demote_0" [ style=bold color="green" fontcolor="orange" ]
15"ms5_demoted_0" [ style=bold color="green" fontcolor="orange" ]
16"rsc1_stop_0 node2" [ style=bold color="green" fontcolor="black" ]
17"rsc2_stop_0 node1" -> "group2_stopped_0" [ style = bold]
18"rsc2_stop_0 node1" [ style=bold color="green" fontcolor="black" ]
19"rsc3_stop_0 node1" -> "group2_stopped_0" [ style = bold]
20"rsc3_stop_0 node1" -> "rsc2_stop_0 node1" [ style = bold]
21"rsc3_stop_0 node1" [ style=bold color="green" fontcolor="black" ]
22"rsc4:0_stop_0 node2" -> "clone4_stopped_0" [ style = bold]
23"rsc4:0_stop_0 node2" [ style=bold color="green" fontcolor="black" ]
24"rsc4:1_stop_0 node1" -> "clone4_stopped_0" [ style = bold]
25"rsc4:1_stop_0 node1" [ style=bold color="green" fontcolor="black" ]
26"rsc5:1_demote_0 node1" -> "ms5_demoted_0" [ style = bold]
27"rsc5:1_demote_0 node1" [ style=bold color="green" fontcolor="black" ]
28}
29