Control chart execution with the
true only at the
occurrence of the base event
E since activation of the associated state.
Otherwise, the operator returns
In a chart with no input events,
true if the chart has woken up for the
nth time since activation of the associated
at operator resets the counter for
E to 0 each
time the associated state reactivates.
A status message
on appears at exactly 10
CLK cycles after activation of the state.
on at(10,CLK): status('on');
A transition out of the associated state occurs only on broadcast of
ROTATE event, at exactly 10
CLK cycles after
activation of the state.