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
nth time since activation of the
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.
You can use quotation marks to enclose the keywords
'wakeup'. For example,
at(5,'tick') is equivalent