Local termination semantics

Local termination means that once an action block is entered, it can be exited by a null transition only if its final state has been reached.

A null transition is any transition without a trigger (event or timeout). A null transition can have a guard.


Feedback