1 digraph "g" { 2"rsc1_monitor_0 node2" -> "rsc2_stop_0 node1" [ style = bold] 3"rsc1_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 4"rsc2_monitor_0 node2" -> "rsc2_start_0 node2" [ style = bold] 5"rsc2_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 6"rsc2_start_0 node2" [ style=bold color="green" fontcolor="black" ] 7"rsc2_stop_0 node1" -> "rsc2_start_0 node2" [ style = bold] 8"rsc2_stop_0 node1" [ style=bold color="green" fontcolor="black" ] 9"rsc3_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 10"rsc4_monitor_0 node2" -> "rsc4_start_0 node2" [ style = bold] 11"rsc4_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 12"rsc4_start_0 node2" [ style=bold color="green" fontcolor="black" ] 13"rsc4_stop_0 node1" -> "rsc4_start_0 node2" [ style = bold] 14"rsc4_stop_0 node1" [ style=bold color="green" fontcolor="black" ] 15"rsc5_monitor_0 node1" -> "rsc6_stop_0 node2" [ style = bold] 16"rsc5_monitor_0 node1" [ style=bold color="green" fontcolor="black" ] 17"rsc6_monitor_0 node1" -> "rsc6_start_0 node1" [ style = bold] 18"rsc6_monitor_0 node1" [ style=bold color="green" fontcolor="black" ] 19"rsc6_start_0 node1" [ style=bold color="green" fontcolor="black" ] 20"rsc6_stop_0 node2" -> "rsc6_start_0 node1" [ style = bold] 21"rsc6_stop_0 node2" [ style=bold color="green" fontcolor="black" ] 22"rsc7_monitor_0 node1" [ style=bold color="green" fontcolor="black" ] 23"rsc8_monitor_0 node1" -> "rsc8_start_0 node1" [ style = bold] 24"rsc8_monitor_0 node1" [ style=bold color="green" fontcolor="black" ] 25"rsc8_start_0 node1" [ style=bold color="green" fontcolor="black" ] 26"rsc8_stop_0 node2" -> "rsc8_start_0 node1" [ style = bold] 27"rsc8_stop_0 node2" [ style=bold color="green" fontcolor="black" ] 28} 29