next up previous contents index
Next: 4.3 Hilfsfunktionen Up: 4.2 Zustandsdarstellung Previous: 4.2.1 Zustandsdarstellung ohne Zeitbewertung

Unterabschnitte


4.2.2 Zustandsdarstellung unter Zeitbewertung

Falls Sie unter Zeitbewertung arbeiten, besteht die Zustandsinformation neben der Markierung noch aus einem die aktuelle Uhrenstellung beschreibenden Vektor.

In den folgenden Beispielen werden diese Vektoren für ein Platz/Transitionsnetz mit sechs Plätzen $(0,\ldots,5)$ und fünf Transitionen $(1,\ldots,5)$ aufgeführt.


Zeitoption Dauer für Transitionen -- Schaltdauer

Die Uhren werden den Transitionen zugeordnet und zeigen die Zeit an, die noch vergehen muß, damit die Transition das Schalten beendet, d.h. Marken auf ihre Nachplätze liefert.

 PL: 0 1 2 3 4 5
 MA: 1 1 0 0 1 1
 TR: 1 2 3 4 5
 TC: 0 1 0 3 0

Bei diesem Zustand zeigt die Uhr der Transition 2 an, daß das Schalten dieser Transition noch einen Takt dauern wird. Entsprechend dauert das Schalten der Transition 4 noch drei Zeiteinheiten.

Bei einigen Ausgaben finden Sie auch die Bezeichnungen P.nr und toks bzw.T.nr und time für Platznummern und Markenanzahlen bzw. Transitionsnummern und Uhrenstellungen.

Zeitoption Intervalle für Transitionen -- eft/lft

Die Uhren werden den Transitionen zugeordnet und zeigen die Zeit an, die seit der Konzessionierung vergangen sind.

 PL: 0 1 2 3 4 5
 MA: 0 1 1 0 0 1
 TR: 1 2 3 4 5
 TC: - 2 - 1 -

Bei diesem Zustand sind die Uhren der Transitionen 1, 3 und 5 abgestellt, weil nicht genügend Marken vorhanden sind, um eine dieser Transitionen zu schalten. Die Uhren der Transitionen 2 und 4 zeigen 2 bzw. 1 an, d.h. diese Transitionen sind auf Marken bezogen schaltfähig und zwar seit zwei bzw. einem Takt. Ob sie schalten können, hängt nur davon ab, ob ihre frühste Schaltzeit eft bereits erreicht ist.

Bei einigen Ausgaben finden Sie auch die Bezeichnungen P.nr und toks bzw.T.nr und time für Platznummern und Markenanzahlen bzw. Transitionsnummern und Uhrenstellungen.


Zeitoption Intervalle für Bögen -- Durchlaßfenster

Die Uhren werden den Plätzen zugeordnet und zeigen die Zeit an, die die jüngste Marke auf diesem Platz bereits wartet.

 PL: 0 1 2 3 4 5
 MA: 1 0 1 1 0 1
 PC: 0 0 5 6 0 0

Bei diesem Zustand sind die Marken auf den Plätzen 0 und 5 ,,frisch``, d.h. mit diesem Zustand entstanden, während die Marken auf den Plätzen 2 und 3 bereits fünf bzw. sechs Takte darauf warten, daß sich ein Bogenfenster für sie öffnet.

Bei einigen Ausgaben finden Sie auch die Bezeichnungen P.nr und toks bzw. time für Platznummern und Markenanzahlen bzw. Uhrenstellungen.


next up previous contents index
Next: 4.3 Hilfsfunktionen Up: 4.2 Zustandsdarstellung Previous: 4.2.1 Zustandsdarstellung ohne Zeitbewertung

© 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