Configuring the model

You can configure the model of a succefully loaded TNCES by selecting the menu Configure Model -> TNCES -> Unconnected inputs.

Configuring the model

By selecting the menu item Show you can bring up the Unconnected transitions -sub user interface that displays all transitions whose all incoming event or condition arcs are without a signal source.

Unconnected transitions -GUI

In the table you can choose the unconnected transitions that will be disabled when you press the Apply button by checking their check boxes in the first column. By default all transitions are disabled. In other words if the check box is checked then the corresponding transition will be disabled when the Apply button is clicked.

The second column indicates the way that each transition is unconnected. Letter "E" means that the event inputs of the transition do not have a source transition while "C" means that the condition inputs do not have a source place. Therefore the same transition can have two rows in the table, one for both cases.

The table also has columns for the name and type of the module that contains each transition. The transitions are primarily identified by their flatfile numbers specified by the Number column.

The last column indicates whether the transition is currently disabled ("Never fires") or is treated as an ordinary transition, i.e. its unconnected inputs are ignored, ("Spontaneous").

From the Selections menu you can choose certain groups of transitions to be disabled.

Selections menu

The Unconnected transitions window can be closed by clicking on the Close button.