digraph finite_state_machine {
    label="Shielded chain (zchain)";
    fontsize=20;
	rankdir=LR;
    #ranksep=3;
    ratio=auto;
    overlap = false;
    splines = true;

	t  -> z1  [label=z ];
	z1 -> z2  [label=z ];
	z2 -> z3  [label=z ];
	z3 -> z4  [label=z ];
	z2 -> z5  [label=z ];

}