digraph "g" {
"rsc1_stop_0 node2" [ style=bold color="green" fontcolor="black"]
}