1 digraph "g" { 2"rsc1_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 3"rsc2_monitor_0 node2" -> "rsc2_start_0 node2" [ style = bold] 4"rsc2_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 5"rsc2_start_0 node2" [ style=bold color="green" fontcolor="black" ] 6"rsc2_stop_0 node1" -> "rsc2_start_0 node2" [ style = bold] 7"rsc2_stop_0 node1" [ style=bold color="green" fontcolor="black" ] 8"rsc3_monitor_0 node1" -> "rsc3_start_0 node1" [ style = bold] 9"rsc3_monitor_0 node1" [ style=bold color="green" fontcolor="black" ] 10"rsc3_monitor_0 node2" -> "rsc3_start_0 node1" [ style = bold] 11"rsc3_monitor_0 node2" [ style=bold color="green" fontcolor="black" ] 12"rsc3_start_0 node1" [ style=bold color="green" fontcolor="black" ] 13} 14