A graph of states and transitions that map out the conditional behaviour of a system.