3.2 Deleting and changing

INA offers commands to delete nets and net elements. Some of these commands are only available for coloured nets.

• <D> <T> Delete the net Totally
• <D> <N> Delete a Node
• <D> <C> Delete a Colour
• <D> <I> Delete all Isolated nodes/colours
• <D> <A> Delete all input- or output-Arcs
• <C> <P> Change Priorities
• <C> <C> Change Capacities
• <C> <I> Change Initial times
• <C> <U> Change numbers
• <C> <N> Change Names
• <C> <M> Change Multiplicities
• <C> <T> Change the Token load (marking)

<D> <T> Delete the net Totally

The entire net is removed from the internal memory, without any further queries.

<D> <N> Delete a Node

With this command, you can delete a place or a transition of the current net. If the question delete a place is answered with <Y> , you can enter the number of a place (otherwise, the number of a transition) to be deleted. The selected node and all incident arcs are removed from the internal memory, without any further queries.

<D> <C> Delete a Colour

In a coloured net, you can delete a colour of a net node with this command, and possibly even the diagonal (see page ).

<D> <I> Delete all Isolated nodes/colours

With this command, you can delete unused (isolated) nodes or colours, which have emerged while editing the net. Since such nets cannot be analyzed by INA , it is recommendable to execute this command before saving the net or leaving the editor.

<D> <A> Delete all input- or output-Arcs

In a coloured net, you can delete all input- or output-arcs of a net node with this command.

<C> <P> Change Priorities

This command can only be used if you have opted to work with Priorities (see chapter 2.5.4 on page ). The current priorities are displayed. You can either read a .pri-file which contains the new priorities, or overwrite them individually by entering <esc> . <cr> restores old values, which have been inadvertently selected to be changed.

<C> <C> Change Capacities

This command can only be used, if you have opted to use the normal firing rule with capacities (see chapter 2.5.3 on page ). The current capacities are displayed. You can either read a .cap-file which contains the new capacities, or overwrite them individually by entering <esc> . An infinite capacity can be entered with <o> . <cr> restores old values, which have been inadvertently selected to be changed.

<C> <I> Change Initial times

This command can only be used, if you have opted to clock transitions or arcs (see chapter 2.5.2 on page ). The current initial times are displayed. You can either read a .icp-file, or .ict-file which contains the new initial times, or overwrite them individually by entering <esc> . <cr> restores old values, which have been inadvertently selected to be changed.

<C> <U> Change numbers

With this command, you can change the numbers of the net elements and the net itself. The following menu is offered:

    Do you want to
    change the net number..............................N
    change a place number..............................P
    add a span to all place numbers....................A
    renumber the places starting with 1................R
    change a transition number.........................T
    add a span to all transition numbers...............S
    renumber the transitions starting with 1...........F

You can either change the numbers of individual places or transitions, or add a constant to all place or transition numbers. This operation has the purpose to make the set of place or transition numbers disjoint from the set of place or transition numbers (respectively) of another net, with which the current net is to be merged. Also, a consecutive (dense) numbering is offered, which makes some algorithms more efficient.

<C> <N> Change Names

This command is used to enter and change names:

    Do You want to change the name of
    the net.....................................N
    a place.....................................P
    a transition................................T
    a place colour..............................C
    a transition colour.........................F

<C> <M> Change Multiplicities

This command works exactly like the command <R> <A> (see chapter 3.1 on page ).

<C> <T> Change the Token load (marking)

With this command, you can change the initial marking. The current initial marking is displayed. You can either read a .mar-file which contains the new initial marking, or overwrite it individually by entering <esc> . <cr> restores old values, which have been inadvertently selected to be changed.