digraph "g" {
"Dummy_monitor_0 puma1" -> "Dummy_start_0 puma1" [ style = bold]
"Dummy_monitor_0 puma1" [ style=bold color="green" fontcolor="black"]
"Dummy_monitor_0 puma2" -> "Dummy_start_0 puma1" [ style = bold]
"Dummy_monitor_0 puma2" [ style=bold color="green" fontcolor="black"]
"Dummy_monitor_0 puma3" -> "Dummy_start_0 puma1" [ style = bold]
"Dummy_monitor_0 puma3" [ style=bold color="green" fontcolor="black"]
"Dummy_monitor_0 puma4" -> "Dummy_start_0 puma1" [ style = bold]
"Dummy_monitor_0 puma4" [ style=bold color="green" fontcolor="black"]
"Dummy_start_0 puma1" [ style=bold color="green" fontcolor="black"]
}