Quale comportamento cerca di forzare un semantica temporale forte?

Si vuole che se una transizione può scattare, allora deve scattare entro il suo massimo tempo di scatto ammissibile a meno che non venga disabilitata prima del proprio tempo massimo di scatto ammissibile