Urgent Locations

Click “Urgent” in State Editor.

Informal Semantics:

No delay in urgent location.Note: the use of urgent locations reduces the number of clocks

in a model, and thus the complexity of the analysis.