next up previous contents index
Next: 5.2 Hilfsfunktionen Up: 5. Reduktion Previous: 5. Reduktion

5.1 Grundlagen

Die Reduktion von Netzen wird im Hauptmenü unter <R> angeboten, allerdings nur für ungefärbte Platz/Transitions-Netze ohne Zeitbewertung und ohne Nutzung von Prioriäten, weil nur in diesem Fall die implementierten Reduktionsschritte Sinn haben, d.h. aus Eigenschaften des Reduktionsresultates auf Eigenschaften des ursprünglichen Netzes geschlossen werden kann.

Zuerst wird folgender Hinweis und das Reduktionsmenü ausgegeben:

Reduction:
Transitions without pre-places are live and will be deleted together with their
post-places. If such transition has excepted post-places, it will be excepted.
Isolated transitions will be deleted even if they are excepted from reduction!
Reduction menue:
For:                            please, type:
    Quit .......................................Q
    Program a sequence of reduction steps.......P
    change eXceptions...........................X
    connectedness Test..........................T
    save the actual net.........................N
    Raise node numbers with exceptions..........R
    terminal Output of the current net..........O
    reset to the Initial net....................I
    Squeeze the node numbers....................S
    Fusion of congruent nodes...................F
    Merging of equivalent places................M
    ELIMINATION of F(pF)={p}-places.............A
    ELIMINATION of (Fp)F={p}-places.............B
    ELIMINATION of looping places...............C
    DELETION of looping transitions.............U
    DELETION of single output transitions.......V
    DELETION of PTP-sequences...................W
 choice>

Für die Reduktion können Sie mit der Funktion <X> (siehe Seite [*]) Ausnahmen vereinbaren, d.h. Mengen von Plätzen und Transitionen, die bei der Reduktion nicht gestrichen werden dürfen.

INA zeigt im Reduktionsmenü an, daß Transitionen ohne Vorplätze zusammen mit ihren Nachplätzen gelöscht werden, sofern sie nicht selbst oder einer ihrer Nachplätze mit der Funktion <X> von der Reduktion ausgenommen sind. Transitionen ohne Vorplätze sind lebendig und ihre Nachplätze unbeschränkt [Sta90, Regel 1 (85)].

Wenn Sie ein Netz reduzieren, das Transitionen ohne Vorplätze enthält, dann werden diese erst gelöscht, wenn Sie die Kommandos <A> , <B> , <V> oder <W> benutzen. Die Untersuchung auf Transitionen ohne Vorplätze wird dabei nur ausgeführt, wenn das Netz neu eingelesen, gerade zurückgesetzt oder erfolgreich reduziert wurde. Bitte beachten Sie: Führen Sie eines der aufgeführten Kommandos aus, bevor Sie eine andere Reduktionsprozedur starten. Sollte nämlich die Anwendung der anderen Prozedur nicht möglich sein, so nimmt INA an, daß das Netz nicht geändert wurde und beim nächsten Durchlauf wird deshalb (irrtümlicherweise) nicht neu auf Transitionen ohne Vorplätze untersucht.


Abbildung 5.1: Ein Netz mit einer Transition ohne Vorplatz (red_simp.pnt)
\begin{figure}\fbox{\epsfbox{red_simp.eps}}\end{figure}

Das einfache Netz des Beispiels 5.1 wird durch einmalige Anwendung eines der vorstehenden Kommandos vollständig gelöscht:
There are transitions without pre-place, the net is not bounded.
 1 live transition(s) deleted
 1 unbounded place(s) deleted
There are transitions without pre-place, the net is not bounded.
 1 live transition(s) deleted
The net is live and totally unbounded.

Im Session-Report wird die gleiche Situation beschrieben durch folgendes Protokoll:

deleted (live) transitions:
       1,
deleted (unbounded) places:
       0,
deleted (live) transitions:
       2,
deleted (unbounded) places:
      empty
The net is live and totally unbounded.

Falls das aktuelle Netz den Voraussetzungen der von Ihnen aufgerufenen Reduktionsprozedur nicht genügt, kehrt INA mit der Meldung No application possible ins Reduktionsmenü zurück. Laufende Reduktionen können Sie jederzeit mit <Q> abbrechen. Bereits begonnene Schritte werden zu Ende geführt und die Meldung Stopped ausgegeben.

INA zeigt den Fortgang der Reduktion am Bildschirm und im Session-Report an. Plätze bzw. Transitionen werden dabei nicht mit ihren Namen, sondern nur mit einem vorangestellten p bzw. t und ihrer Nummer ausgegeben.

Bei der Reduktion entstehende isolierte Knoten werden auf jeden Fall gelöscht, auch wenn sie vorher ausgenommen wurden.

Bitte beachten Sie: Im reduzierten Netz sind oftmals die Namen von Plätzen und Transitionen gelöscht und Werte wie Kapazitäten und Prioritäten teilweise nicht übernommen. Falls Sie ein reduziertes Netz weiter analysieren möchten, dann überprüfen Sie es vorher im Editor.


next up previous contents index
Next: 5.2 Hilfsfunktionen Up: 5. Reduktion Previous: 5. Reduktion

© 1996-98 Prof. Peter H. Starke (starke@informatik.hu-berlin.de) und Stephan Roch (roch@...)

INA Handbuch Version 2.1 zuletzt geändert: 1998-03-24