next up previous contents index

Next: 4.3 Hilfsfunktionen Up: 4.2 Zustandsdarstellung Previous: 4.2.1 Zustandsdarstellung ohne Zeitbewertung

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 tex2html_wrap_inline5427 und fünf Transitionen tex2html_wrap_inline5429 aufgeführt.

Zeitoption Dauer für Plätze - Verweildauer

Die Uhren werden den Plätzen zugeordnet und zeigen die Zeit an, die noch vergehen muß, damit Marken ihre Verweilzeit abgesessen haben.

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

Bei diesem Zustand liegen zwei gültige Marke auf dem Platz 0, auf dem Platz 3 liegt eine gültige Marke. Die Plätze 4 und 5 enthalten je eine noch ungültige Marke, die dort noch 2 bzw. 4 Zeiteinheiten verweilen müssen.

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.

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.

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.


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

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

Zuletzt geändert am: Thu Apr 10 15:08:18 MET DST 1997