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