State A state is a kind of simple Sequence that exists in state machines. It can contain a token if it is active.