3.3 Verschmelzen

<N> <D> Node Doubling

Dieses Kommando verdoppelt einen Knoten, d.h. es führt für einen gegebenen Knoten einen identischen in das Netz ein. Dies kann z.B. für eine Verfeinerung des Netzes nützlich sein. Als erstes müssen Sie die zu verdoppelnde Knotenart eingeben: Double a place (P), a transition (T) or quit (Q). Nach Eingabe von <P> bzw. <T> können Sie die Nummer des zu verdoppelnden Knotens eingeben. Danach wird eine neue Knotennummer abgefragt: Duplicate node number. Wenn Sie die Nummer eines existierenden Knotens eingeben, so meldet INA is not free und Sie können eine andere Nummer wählen. Unabhängig von der Auswahl wird der Namen des verdoppelten Knotens gebildet aus der Kennzeichnung duplicate gefolgt von der ursprünglichen Knotennummer. Mit <Q> beenden Sie dieses Kommando.

<M> <O> Merge two nOdes

Dieses Kommando verschmilzt zwei Knoten. Als erstes müssen Sie eingeben, welche Knotenart Sie verschmelzen möchten: Merge two places? Nach Eingabe von <Y> können Sie die Nummern der zu verschmelzenden Plätze eingeben. Der Platz mit der höheren Nummer wird gelöscht, die Markierungen werden addiert und die Bögen umgesetzt. Analoges können Sie durch Eingabe von <N> auf obige Frage auch für Transitionen durchführen.

<M> <N> Merge two Nets

Mit diesem Kommando können Sie das Netz im internen Speicher von INA mit einem Netz verschmelzen, das in einer Datei abgelegt ist. Durch die Abfrage Merge with a second net at the common places können Sie die Art der Knoten bestimmen, an der die Netze verschmolzen werden sollen.

<T> <C> Test Connectedness

Es wird getestet, ob das aktuelle Netz zusammenhängend ist (siehe Kapitel 6.2.1 auf Seite ). Gegebenenfalls können Sie die Zusammenhangskomponenten einzeln auf Dateien schreiben und später einzeln analysieren. Für einige Analysealgorithmen ist der Zusammenhang des Netzes eine Voraussetzung [Sta90, Definition 14.1 und Bemerkung (148)].