3.2 Löschen und Ändern

INA bietet Kommandos zum Löschen von Netzen und Netzelementen. Teilweise sind diese Kommandos nur für gefärbte Netze verfügbar.

• <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

Das gesamte Netz wird ohne weitere Rückfrage vollständig aus dem Speicher entfernt.

<D> <N> Delete a Node

Mit diesem Kommando können Sie einen Platz oder eine Transition des aktuellen Netzes löschen. Wenn Sie die Abfrage delete a place mit <N> beantworten, können Sie die Nummer der zu löschenden Transition angeben, ansonsten die eines Platzes. Der ausgewählte Knoten und alle anliegenden Kanten werden ohne weitere Rückfrage entfernt.

<D> <C> Delete a Colour

Bei einem gefärbten Netz können Sie mit diesem Kommando eine Farbe eines Netzknotens löschen, eventuell auch die Diagonale (siehe Seite ).

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

Mit diesem Kommando können Sie unbenutze (isolierte) Knoten bzw. Farben löschen, die beim Editieren eines Netzes entstanden sind. Da solche Netze von INA nicht analysiert werden können, empfiehlt es sich, daß Sie dieses Kommando vor dem Abspeichern bzw. vor dem Ende des Editierens ausführen.

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

Mit diesem Kommando können Sie bei einem gefärbten Netz alle Eingangs- bzw. Ausgangsbögen eines Netzknotens löschen.

<C> <P> Change Priorities

Dieses Kommando ist nur aktiv, wenn Sie die Arbeit mit Prioritäten als Option gesetzt haben (siehe Kapitel 2.5.4 auf Seite ). Die aktuellen Prioritäten werden angezeigt. Sie können entweder eine Datei mit der Endung .pri einlesen, die die neuen Prioritäten enthält oder durch Eingabe von <esc> diese einzeln überschreiben. Mit <cr> können Sie alte Werte übernehmen, die Sie versehentlich zum Ändern ausgewählt haben.

<C> <C> Change Capacities

Dieses Kommando ist nur aktiv, wenn Sie die Kapazitätsschaltregel als Option gesetzt haben (siehe Kapitel 2.5.3 auf Seite ). Die aktuellen Kapazitäten werden angezeigt. Sie können entweder eine Datei mit der Endung .cap einlesen, die die neuen Kapazitäten enthält oder durch Eingabe von <esc> diese einzeln überschreiben. Mit <O> können Sie eine unendliche Kapazität oo angeben. Mit <cr> können Sie alte Werte übernehmen, die Sie versehentlich zum Ändern ausgewählt haben.

<C> <I> Change Initial times

Dieses Kommando ist nur aktiv, wenn Sie eine Zeitbewertung als Option gesetzt haben (siehe Kapitel 2.5.2 auf Seite ). Die aktuellen initialen Zeiten werden angezeigt. Sie können entweder eine Datei mit der Endung .icp bzw. .ict einlesen, die die neuen initialen Zeiten enthält oder durch Eingabe von <esc> diese einzeln überschreiben. Mit <cr> können Sie alte Werte übernehmen, die Sie versehentlich zum Ändern ausgewählt haben.

<C> <U> Change nUmbers

Mit diesem Kommando können Sie die Nummern der Netzelemente und des Netzes ändern. Folgendes Menü wird angeboten:

    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

Sie können die Nummern einzelner Plätze bzw. Transitionen ändern, aber auch eine Spanne zu allen Platz- bzw. Transitionsnummern addieren. Diese Operation dient dazu, Platz- bzw. Transitionsmengen disjunkt zu den Platz- bzw. Transitionsmengen von Netzen zu machen, mit denen das aktuelle Netz verschmolzen werden soll. Eine fortlaufende (dichte) Nummerierung wird ebenfalls angeboten, die für die Effektivität einiger Algorithmen von Vorteil ist.

<C> <N> Change Names

Dieses Kommando dient zum Eingaben und Ändern von Namen.

    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

Dieses Kommando arbeitet genauso wie das Kommando <R> <A> (siehe Kapitel 3.1 auf Seite ).

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

Mit diesem Kommando können Sie die Anfangsmarkierung ändern. Die aktuelle Anfangsmarkierung wird angezeigt. Sie können entweder eine Datei mit der Endung .mar einlesen, die die neue Anfangsmarkierung enthält oder durch Eingabe von <esc> diese einzeln überschreiben. Mit <cr> können Sie alte Werte übernehmen, die Sie versehentlich zum Ändern ausgewählt haben.