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