1 digraph "g" { 2"do_shutdown node1" [ style=bold color="green" fontcolor="black" ] 3"rsc1_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 4"rsc1_monitor_0 node3" [ style=bold color="green" fontcolor="black" ] 5"rsc1_stop_0 node1" -> "do_shutdown node1" [ style = bold] 6"rsc1_stop_0 node1" [ style=bold color="green" fontcolor="black" ] 7"rsc2_delete_0 node2" -> "rsc2_start_0 node2" [ style = bold] 8"rsc2_delete_0 node2" [ style=bold color="green" fontcolor="black" ] 9"rsc2_monitor_0 node1" -> "rsc2_start_0 node2" [ style = bold] 10"rsc2_monitor_0 node1" [ style=bold color="green" fontcolor="black" ] 11"rsc2_monitor_0 node3" -> "rsc2_start_0 node2" [ style = bold] 12"rsc2_monitor_0 node3" [ style=bold color="green" fontcolor="black" ] 13"rsc2_start_0 node2" [ style=bold color="green" fontcolor="black" ] 14"rsc2_stop_0 node2" -> "rsc2_delete_0 node2" [ style = bold] 15"rsc2_stop_0 node2" -> "rsc2_start_0 node2" [ style = bold] 16"rsc2_stop_0 node2" [ style=bold color="green" fontcolor="black" ] 17"rsc3_delete_0 node3" -> "rsc3_start_0 node3" [ style = bold] 18"rsc3_delete_0 node3" [ style=bold color="green" fontcolor="black"] 19"rsc3_monitor_0 node1" -> "rsc3_start_0 node3" [ style = bold] 20"rsc3_monitor_0 node1" [ style=bold color="green" fontcolor="black" ] 21"rsc3_monitor_0 node2" -> "rsc3_start_0 node3" [ style = bold] 22"rsc3_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 23"rsc3_start_0 node3" [ style=bold color="green" fontcolor="black" ] 24} 25