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.