digraph G {
subgraph cluster_0 {
label=Turnstile;
1 [label=Locked];
1 -> 2  [URL="/Turnstile/Locked$/Turnstile/Unlocked", label=COIN, ltail=1, lhead=2];
1 -> 1  [URL="/Turnstile/Locked$/Turnstile/Locked", label=PUSH, ltail=1, lhead=1];
2 [label=Unlocked];
2 -> 2  [URL="/Turnstile/Unlocked$/Turnstile/Unlocked", label=COIN, ltail=2, lhead=2];
2 -> 1  [URL="/Turnstile/Unlocked$/Turnstile/Locked", label=PUSH, ltail=2, lhead=1];
4 -> 1  [URL="/Turnstile$/Turnstile/Locked", lhead=1, ltail=4];
}

4 [shape=point];
}