Cú pháp:

<option> ::= option(, expression>,

, ,…,

, )

Ví dụ:

option(TaskA,PrA0,Cond1,PrA1,Cond2,PrA2,..,Condn,PrAn)

Trong đó 0≤ PrA_i ≤ 1, iÎ[0,n], cond_i Îbool.

Ngữ nghĩa:

Begin

r= rand(1)

if (cond1== True)

if (r<= PrA1) TaskA;

else if (cond2== True)

if (r<= PrA2) TaskA;

….

else if (condn== True)

if (r<= PrAn) TaskA;

else

if (r<= PrA0) TaskA;

end