blob: 264a1c22ff97c188fabc53e23d900c85218f3fc8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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"]
}
|
