1 digraph "g" { 2"rsc1_stop_0 node1" [ style=bold color="green" fontcolor="black" ] 3"rsc1_stop_0 node2" [ style=bold color="green" fontcolor="black" ] 4} 5