path: root/cts/scheduler/dot/attrs5.dot

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