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.

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version