1 digraph "g" { 2"rsc1_stop_0 node1" -> "rsc2_start_0 node1" [ style = bold] 3"rsc1_stop_0 node1" [ style=bold color="green" fontcolor="black" ] 4"rsc2_monitor_0 node1" -> "rsc2_start_0 node1" [ style = bold] 5"rsc2_monitor_0 node1" [ style=bold color="green" fontcolor="black" ] 6"rsc2_start_0 node1" [ style=bold color="green" fontcolor="black" ] 7} 8