The specification of a significant occurrence that has a location in time and space; in the context state machines, an event is an occurrence of a stimulus that can trigger a state transition.