A graphical representation of the operation of a state machine.

(IEEE) A diagram that depicts the states that a system or component can assume, and shows the events or circumstances that cause or result from a change from one state to another. Syn: state graph. See: state-transition table.

a finite state machine where every edge is annotated with a matrix of intervals constraining various delays

a sort of flowchart of a procedure

a tour that lets one follow an object as it passes from activity to activity