1digraph "g" { 2"load_stopped_node1 node1" [ style=bold color="green" fontcolor="orange"] 3"load_stopped_node2 node2" -> "rsc1_start_0 node2" [ style = bold] 4"load_stopped_node2 node2" -> "rsc2_start_0 node2" [ style = bold] 5"load_stopped_node2 node2" -> "rsc3_start_0 node2" [ style = bold] 6"load_stopped_node2 node2" [ style=bold color="green" fontcolor="orange"] 7"rsc1_monitor_0 node1" -> "rsc1_start_0 node2" [ style = bold] 8"rsc1_monitor_0 node1" [ style=bold color="green" fontcolor="black"] 9"rsc1_monitor_0 node2" -> "rsc1_start_0 node2" [ style = bold] 10"rsc1_monitor_0 node2" [ style=bold color="green" fontcolor="black"] 11"rsc1_start_0 node2" [ style=bold color="green" fontcolor="black"] 12"rsc2_monitor_0 node1" -> "rsc2_start_0 node2" [ style = bold] 13"rsc2_monitor_0 node1" [ style=bold color="green" fontcolor="black"] 14"rsc2_monitor_0 node2" -> "rsc2_start_0 node2" [ style = bold] 15"rsc2_monitor_0 node2" [ style=bold color="green" fontcolor="black"] 16"rsc2_start_0 node2" [ style=bold color="green" fontcolor="black"] 17"rsc3_monitor_0 node1" -> "rsc3_start_0 node2" [ style = bold] 18"rsc3_monitor_0 node1" [ style=bold color="green" fontcolor="black"] 19"rsc3_monitor_0 node2" -> "rsc3_start_0 node2" [ style = bold] 20"rsc3_monitor_0 node2" [ style=bold color="green" fontcolor="black"] 21"rsc3_start_0 node2" [ style=bold color="green" fontcolor="black"] 22} 23