Transition table

This table contains two columns.
titled smd.
This contains the summand numbers of the transitions. After clicking upon a row the transition displayed in that row will be also displayed in the table titled marked transitions. That row will be highlighted.
titled Choose action
This contains labels of all transitions departing from the current node. After selecting a transition: The destination state will be current, the destination state will be explored, and the outgoing transitions from that state will be displayed.

Coloring in transition table

Transition label is colored:
red
the destination state is unexplored
black
the destination state is explored and transition is part of the spanning tree
grey
the destination state is explored, transition is part of the spanning tree, and transition is part of the shortest path to the previous current node
blue
transition is cross edge which implies that the destination state is explored
magenta
deadlock
.

Table titled marked transitions

After selecting a transition, the source node of that transition will be made current.