digraph "g" {
"st-sbd_monitor_0 node-1" -> "st-sbd_start_0 node-1" [ style = dashed]
"st-sbd_monitor_0 node-1" [ style=bold color="green" fontcolor="black"]
"st-sbd_monitor_0 node-2" -> "st-sbd_start_0 node-1" [ style = dashed]
"st-sbd_monitor_0 node-2" [ style=dashed color="red" fontcolor="black"]
"st-sbd_start_0 node-1" [ style=dashed color="red" fontcolor="black"]
}