path: root/cts/scheduler/dot/rec-node-9.dot

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