Using the State Browser

The State Browser can be used to navigate through the states in the obtained state space.

The State Browser window

In the State Browser window there is always one state drawn as the center state. Besides the center state only those states that have arcs leading to or coming from the center state are drawn. The states are drawn radially around the center state. If the delay of a state is larger than zero it is drawn next to the state.

Also the state transitions between the center state and the surrounding states are drawn as arrows. Next to the arrows there is a list of all the TNCES transitions associated with the corresponding state transition enclosed in curly brackets. The information of a certain state transition can be displayed in dialog box by double clicking on a state transition. An example of what this information frame can look like is shown below.

Transition Info Frame

To change the center state click on one of the states surrounding the center state. The clicked state will now become the center state and the State Browser window will be updated accordingly. The center state is always drawn as the selected state in the reachability graph and its marking is displayed in the NCES view.

State Browser popupmenu

The State Browser view can be saved as an image file of the png format. To save the view as an image first right click on the view to open up a popupmenu. Then select the menu option Save as png file.

In some state spaces it can happen that the State Browser view contains very many state transition arcs. These arcs can overlap and make the view very unclear. Therefore in the popup menu there are also options to filter the arcs displayed in the view. In the menu one can choose to either display all state transitions leading to the center state or all state transitions leading away from the center state or both which is the default.