Traversal Graph is a graphical representation of the model execution. Below is an example of a Traversal Graph.

Each instance of the transition (arc) represents one traversal of the underlying transition. If a transition is traversed multiple times, you will see multiple instances of the transition shown in the graph.

The transition instances (arcs) are labeled with a sequence number which indicates the order of the traversal in the model execution.

By default, the graph is laid out left to right making the graph scale horizontally. You may change the graph orientation to vertical by setting the Graph Orientation in Model Property.

Traversal Graph files are saved in the model folder.