1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
digraph "g" {
"cl_dummy2_running_0" [ style=dashed color="red" fontcolor="orange" ]
"cl_dummy2_start_0" -> "cl_dummy2_running_0" [ style = dashed]
"cl_dummy2_start_0" -> "dummy2:0_start_0 alice.demo" [ style = dashed]
"cl_dummy2_start_0" -> "dummy2:1_start_0 bob.demo" [ style = dashed]
"cl_dummy2_start_0" [ style=dashed color="red" fontcolor="orange" ]
"dummy2:0_start_0 alice.demo" -> "cl_dummy2_running_0" [ style = dashed]
"dummy2:0_start_0 alice.demo" [ style=dashed color="red" fontcolor="black" ]
"dummy2:1_start_0 bob.demo" -> "cl_dummy2_running_0" [ style = dashed]
"dummy2:1_start_0 bob.demo" [ style=dashed color="red" fontcolor="black" ]
"ms_stateful_confirmed-post_notify_running_0" [ style=bold color="green" fontcolor="orange" ]
"ms_stateful_confirmed-pre_notify_start_0" -> "ms_stateful_post_notify_running_0" [ style = bold]
"ms_stateful_confirmed-pre_notify_start_0" -> "ms_stateful_start_0" [ style = bold]
"ms_stateful_confirmed-pre_notify_start_0" [ style=bold color="green" fontcolor="orange" ]
"ms_stateful_post_notify_running_0" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
"ms_stateful_post_notify_running_0" -> "stateful:0_post_notify_start_0 alice.demo" [ style = bold]
"ms_stateful_post_notify_running_0" -> "stateful:1_post_notify_start_0 bob.demo" [ style = bold]
"ms_stateful_post_notify_running_0" [ style=bold color="green" fontcolor="orange" ]
"ms_stateful_pre_notify_start_0" -> "ms_stateful_confirmed-pre_notify_start_0" [ style = bold]
"ms_stateful_pre_notify_start_0" [ style=bold color="green" fontcolor="orange" ]
"ms_stateful_running_0" -> "ms_stateful_post_notify_running_0" [ style = bold]
"ms_stateful_running_0" [ style=bold color="green" fontcolor="orange" ]
"ms_stateful_start_0" -> "ms_stateful_running_0" [ style = bold]
"ms_stateful_start_0" -> "stateful:0_start_0 alice.demo" [ style = bold]
"ms_stateful_start_0" -> "stateful:1_start_0 bob.demo" [ style = bold]
"ms_stateful_start_0" [ style=bold color="green" fontcolor="orange" ]
"stateful:0_post_notify_start_0 alice.demo" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
"stateful:0_post_notify_start_0 alice.demo" [ style=bold color="green" fontcolor="black" ]
"stateful:0_start_0 alice.demo" -> "ms_stateful_running_0" [ style = bold]
"stateful:0_start_0 alice.demo" [ style=bold color="green" fontcolor="black" ]
"stateful:1_post_notify_start_0 bob.demo" -> "ms_stateful_confirmed-post_notify_running_0" [ style = bold]
"stateful:1_post_notify_start_0 bob.demo" [ style=bold color="green" fontcolor="black" ]
"stateful:1_start_0 bob.demo" -> "ms_stateful_running_0" [ style = bold]
"stateful:1_start_0 bob.demo" [ style=bold color="green" fontcolor="black" ]
}
|
