| digraph "g" { | |
| "A_start_0 node1" [ style=bold color="green" fontcolor="black"] | |
| "A_stop_0 node1" -> "A_start_0 node1" [ style = bold] | |
| "A_stop_0 node1" -> "all_stopped" [ style = bold] | |
| "A_stop_0 node1" [ style=bold color="green" fontcolor="black"] | |
| "all_stopped" [ style=bold color="green" fontcolor="orange"] | |
| } |