In both cases, the next state is a function of both present state and input. Pressman has several examples of state transition diagrams used to document the design of a software product. Figure 1 ...