Urgent Channels

urgent chan hurry;

Informal Semantics:

• There will be no delay if transition with urgent action can be taken.Restrictions:

• No clock guard allowed on transitions with urgent actions.

• Invariants and data-variable guards are allowed.

Previous slide

Next slide

Back to first slide

View graphic version