Statechart transition with trigger of type rate. A rate is a form of updatable exponential timeout. Such transition is executed with the timeout distributed exponentially with the parameter rate (counted from the moment the statechart came to the transition's source state), i.e. if the rate is 5, the transition will be executed on average 5 times per time unit. Rate triggered transition is depicted by the icon .
define a rate triggered transition
If the rate changes dynamically, the timeout gets re-evaluated; such changes may only be noticed by transition if onChange() is called for the agent.
boolean isActive() - Returns true, if the transition is currently scheduled, false otherwise.
getRest() - Returns the time
remaining before the
scheduled occurrence of the transition, in model time units.
If the transition is not scheduled, the function returns infinity.
Example: transition.getRest(MINUTE) will return the remaining time in minutes.
Triggering a transition