State Transition Diagrams
Well known in computer science as originating from the study of finite automata
Are used for modelling a variety of event-based CS domains including parsing, user interface design, and circuit design
At the application level, they represent transaction flows, appliance controls, marketing scripts etc
With the exception of special symbols and terminal nodes, all nodes are treated the same.