timeout events

Hallo,

ich habe eine Frage zu "timeout events" im Konkreten zu dem Ausdruck tm(e,d).

Erzeugt tm(e,d) nach d Zeiteinheiten nach dem das Event e zum letzten mal vorhanden war einen
Event "timeout", den man dann erst im nächsten schritt (d+1) zur verfügung hat um es für einen
Wechsel von einem Zustand in den andern zu benutzen

oder

Wird der Wechsel von einem Zustand zu dem Andern, an dem auf der Kante tm(e,d) steht nach d
Zeiteinheiten nach dem das Event e zum letzten mal vorhanden war automatisch genommen, so das
man bei t+d in dem andern Zustand ist?

uj... klingt kompliziert ... ich hoffe man kann verstehen was ich meine =D

Gruß
Tamas

Nehmen wir an, es gibt im Statechart zwei Zustände A und B und eine Kante von A nach B mit der Bedingung tm(e,d), also etwa

A --- tm(e,d) ---> B

Tritt zur Zeit t das Event e (zum letzten Mal, da Timeouts überschrieben werden) auf, so ist zur Zeit t+d das Event "tm(e,d)" vorhanden und die Kante kann genommen werden (natürlich nur, wenn man im Zustand A ist, es keine höher priorisierte Kante gibt, die genommen werden kann, usw.).

Das Ganze ist in etwa so, als ob man eine Kante von A nach B mit der Bedingung f hätte und das Event f zur Zeit t+d vorhanden ist.

Ich hoffe die Erklärung hilft.

Grüße
Florian