digraph {
color=white;
graph [ fontname="sans-serif" ];
node [ fontname="sans-serif" ];
edge [ fontname="sans-serif" ];
A_0_false [ label="Idle", shape=ellipse ];
A_1_false [ label="Wait(1)", shape=ellipse ];
subgraph cluster_0 {
T_0_18446744073709551615 [ shape=point, height=0.015, width=0.015 ];
A_0_false -> T_0_18446744073709551615 [ arrowhead=none, direction=forward ];
T_0_18446744073709551615 -> A_1_false;
D_0_18446744073709551615_0 [ label="Activity →\nNeed", shape=plain ];
D_0_18446744073709551615_0 -> T_0_18446744073709551615 [ color=Black, style=dashed ];
S_0_18446744073709551615_1 [ label="Request(1)\n→ Server", shape=plain ];
T_0_18446744073709551615 -> S_0_18446744073709551615_1 [ color=Blue, style=dashed ];
S_0_18446744073709551615_1 -> A_1_false [ style=invis ];
}
subgraph cluster_1 {
T_1_18446744073709551615 [ shape=point, height=0.015, width=0.015 ];
A_1_false -> T_1_18446744073709551615 [ arrowhead=none, direction=forward ];
T_1_18446744073709551615 -> A_0_false;
D_1_18446744073709551615_4 [ label="Server →\nResponse(1)", shape=plain ];
D_1_18446744073709551615_4 -> T_1_18446744073709551615 [ color=Blue, style=dashed ];
}
A_2_false [ label="Wait(3)", shape=ellipse ];
subgraph cluster_2 {
T_2_18446744073709551615 [ shape=point, height=0.015, width=0.015 ];
A_1_false -> T_2_18446744073709551615 [ arrowhead=none, direction=forward ];
T_2_18446744073709551615 -> A_2_false;
D_2_18446744073709551615_0 [ label="Activity →\nNeed", shape=plain ];
D_2_18446744073709551615_0 -> T_2_18446744073709551615 [ color=Black, style=dashed ];
S_2_18446744073709551615_2 [ label="Request(2)\n→ Server", shape=plain ];
T_2_18446744073709551615 -> S_2_18446744073709551615_2 [ color=Blue, style=dashed ];
S_2_18446744073709551615_2 -> A_2_false [ style=invis ];
}
A_3_false [ label="Wait(2)", shape=ellipse ];
subgraph cluster_3 {
T_3_18446744073709551615 [ shape=point, height=0.015, width=0.015 ];
A_2_false -> T_3_18446744073709551615 [ arrowhead=none, direction=forward ];
T_3_18446744073709551615 -> A_3_false;
D_3_18446744073709551615_4 [ label="Server →\nResponse(1)", shape=plain ];
D_3_18446744073709551615_4 -> T_3_18446744073709551615 [ color=Blue, style=dashed ];
}
subgraph cluster_4 {
T_4_18446744073709551615 [ shape=point, height=0.015, width=0.015 ];
A_3_false -> T_4_18446744073709551615 [ arrowhead=none, direction=forward ];
T_4_18446744073709551615 -> A_0_false;
D_4_18446744073709551615_5 [ label="Server →\nResponse(2)", shape=plain ];
D_4_18446744073709551615_5 -> T_4_18446744073709551615 [ color=Blue, style=dashed ];
}
}