digraph {
color=white;
graph [ fontname="sans-serif" ];
node [ fontname="sans-serif" ];
edge [ fontname="sans-serif" ];
A_0_false [ label="LST", shape=ellipse ];
A_1_true [ label="WRK", shape=octagon ];
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_true;
D_0_18446744073709551615_1 [ label="C(0) →\nREQ", shape=plain ];
D_0_18446744073709551615_1 -> T_0_18446744073709551615 [ color=Black, style=dashed ];
D_0_18446744073709551615_3 [ label="C(1) →\nREQ", shape=plain ];
D_0_18446744073709551615_3 -> T_0_18446744073709551615 [ color=Black, style=dashed ];
}
subgraph cluster_1 {
T_1_18446744073709551615 [ shape=diamond, label="", fontsize=0, width=0.2, height=0.2, style=filled, color=black ];
A_1_true -> T_1_18446744073709551615 [ arrowhead=none, direction=forward ];
T_1_18446744073709551615 -> A_0_false;
D_1_18446744073709551615_4 [ label="Activity →\nCompleted", shape=plain ];
D_1_18446744073709551615_4 -> T_1_18446744073709551615 [ color=Black, style=dashed ];
S_1_18446744073709551615_5 [ label="RSP\n→ C(0)", shape=plain ];
T_1_18446744073709551615 -> S_1_18446744073709551615_5 [ color=Black, style=dashed ];
S_1_18446744073709551615_5 -> A_0_false [ style=invis ];
S_1_18446744073709551615_6 [ label="RSP\n→ C(1)", shape=plain ];
T_1_18446744073709551615 -> S_1_18446744073709551615_6 [ color=Black, style=dashed ];
S_1_18446744073709551615_6 -> A_0_false [ style=invis ];
}
}