Ứng dụng

Cú pháp:

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

  <conditional_expression>, <expression>,…,

   <conditional_expression>, <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