1digraph "g" {
2"Dummy_monitor_0 puma1" -> "Dummy_start_0 puma1" [ style = bold]
3"Dummy_monitor_0 puma1" [ style=bold color="green" fontcolor="black" ]
4"Dummy_monitor_0 puma2" -> "Dummy_start_0 puma1" [ style = bold]
5"Dummy_monitor_0 puma2" [ style=bold color="green" fontcolor="black" ]
6"Dummy_monitor_0 puma3" -> "Dummy_start_0 puma1" [ style = bold]
7"Dummy_monitor_0 puma3" [ style=bold color="green" fontcolor="black" ]
8"Dummy_monitor_0 puma4" -> "Dummy_start_0 puma1" [ style = bold]
9"Dummy_monitor_0 puma4" [ style=bold color="green" fontcolor="black" ]
10"Dummy_start_0 puma1" [ style=bold color="green" fontcolor="black" ]
11}
12