Committed Locations
Click “Committed” in State Editor.
- No delay in committed location.
- Next transition must involve automata in committed location. Note: the use of committed locations reduces the number of
clocks in a model, and allows for more space and time efficient