Il punto con cui le transizioni suddivise in più, escludono rami, ogni terminano ad uno stato di destinazione diversi. Uno dei rami deve essere un ramo predefinito.