3.3 Merging

<N> <D> Node Doubling

This command doubles a node, i.e., for a given node, it inserts an identical one into the net. This can be useful, e.g., for a refinement of the net. Firstly, you have to enter the type of node to be doubled: Double a place (P), a transition (T) or quit (Q). After entering <P> or <T> , you can enter the number of the node to be doubled. Then, a new node number is requested: Duplicate node number. If you enter the number of an existing node, INA rejects it (is not free), and you can select another number. The name of the new node is composed of duplicate followed by the original node number. The command is quitted with <Q> .

<M> <O> Merge two nOdes

This command merges two nodes. Firstly, you have to enter the type of nodes to be merged: Merge two places? After entering <Y> , you can enter the numbers of the places to be merged. The place with the higher number is deleted, the tokens are added, and the arcs reset. You can carry out a similar operation for transitions upon entering <N> above.

<M> <N> Merge two Nets

With this command, you can merge the current net in the internal memory of INA with a net which is stored in a file. Through the inquiry Merge with a second net at the common places, you can determine the type of common nodes at which the nets are supposed to be merged.

<T> <C> Test Connectedness

The current net is tested for connectedness (see chapter 6.2.1 on page ). If necessary, you can write the different components in separate files, and later analyze them individually. For some analysis algorithms, connectedness is a necessary condition [Sta90, Definition 14.1 and Bemerkung (148)].