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.

Previous slide

Next slide

Back to first slide

View graphic version