Priorities on Channels

ChanPriority ::= 'chan' 'priority' (ChanExpr | 'default') ((',' | '<') (ChanExpr | 'default'))*
ChanExpr ::= ID
           | ChanExpr '[' Expression ']'

A channel priority declaration can be inserted anywhere in the global declarations section of an UPPAAL system (only one per system). The priority declaration consist of a list of channels, where the '<' separator defines a higer priority level for channels listed on its right side. The default priority level is used for all channels that are not mentioned, including tau transitions.
Note: the channels listed in the priority declaration must be declared earlier.

Example:

chan a,b,c,d[2],e[2];
chan priority a,d[0] < default < b,e

The example assigns the lowest priority to channels a and d[0], and the highest priority to channels b, e[0] and e[1]. The default priority level is assigned to channels c and d[1]. For more information on priorities, see System Definition and Semantics.