Interactive visualization of state transition systems. Web site about the FSM tool, available at http://www.win.tue.nl/~fvham/fsm

Abstract—A new method for the visualization of state transition systems is presented. Visual information is reduced by clustering nodes, forming a tree structure of related clusters. This structure is visualized in three dimensions with concepts from cone trees and emphasis on symmetry. A number of interactive options are provided as well, allowing the user to superimpose detail information on this tree structure. The resulting visualization enables the user to relate features in the visualization of the state transition graph to semantic concepts in the corresponding process and vice versa. Index Terms—Graph visualization, transition systems, state spaces, cone trees. æ