digraph {

        start [label="C:\nCode\n(management)" style="dotted"]
        {rank=same; start S0}
        start -> S0 [style="invis"]
        S0 [label="S0:\nidle"]
        S0 -> P0_got_code [label="set_code"]
        P0_got_code [shape="box" label="N.set_nameplate"]
        P0_got_code -> P_done
        P_done [shape="box" label="K.got_code\nB.got_code"]
        P_done -> S5
        S5 [label="S5: known" color="green"]

        {rank=same; S1_inputting_nameplate S3_allocating}
        {rank=same; P0_got_code P1_set_nameplate P3_got_nameplate}
        S0 -> P_input [label="input_code"]
        P_input [shape="box" label="I.start"]
        P_input -> S1_inputting_nameplate
        S1_inputting_nameplate [label="S1:\ninputting\nnameplate"]
        S1_inputting_nameplate -> P1_set_nameplate [label="got_nameplate"]
        P1_set_nameplate [shape="box" label="N.set_nameplate"]
        P1_set_nameplate -> S2_inputting_words
        S2_inputting_words [label="S2:\ninputting\nwords"]
        S2_inputting_words -> P1_got_words [label="finished_input"]
        P1_got_words [shape="box" label="assemble\ncode"]
        P1_got_words -> P_done
        P_done

        S0 -> P_allocate [label="allocate_code"]
        P_allocate [shape="box" label="A.allocate"]
        P_allocate -> S3_allocating
        S3_allocating [label="S3:\nallocating"]
        S3_allocating -> P3_got_nameplate [label="allocated_nameplate"]
        P3_got_nameplate [shape="box" label="N.set_nameplate"]
        P3_got_nameplate -> P3_generate
        P3_generate [shape="box" label="append\nrandom words"]
        P3_generate -> P_done

}