digraph "g" {
"dummy1_monitor_10000 node2" [ style=bold color="green" fontcolor="black"]
"dummy1_start_0 node2" -> "dummy1_monitor_10000 node2" [ style = bold]
"dummy1_start_0 node2" [ style=bold color="green" fontcolor="black"]
"dummy1_stop_0 node2" -> "dummy1_start_0 node2" [ style = bold]
"dummy1_stop_0 node2" [ style=bold color="green" fontcolor="black"]
}