digraph G {
label=""s0
s1
s2
s3
s0 [label="s0"];
s0 -> s1 [label="in/+"];
s0 -> s0 [label="bigDelta/quiescence"];
s1 [label="s1"];
s1 -> s2 [label="in/+"];
s1 -> s3 [label="bigDelta/out1"];
s2 [label="s2"];
s2 -> s2 [label="in/+"];
s2 -> s3 [label="bigDelta/out2"];
s3 [label="s3"];
s3 -> s3 [label="in/+"];
s3 -> s3 [label="bigDelta/quiescence"];
}
