Phép toán lựa chọn

Cú pháp:

::= choice(, , ,

<>_expression>,,

<>_expression>,)

Trong đó 0< PA_i <1, iÎ[0,n], cond_i Îbool, cond_i là các biến kiểuboolean. Hoạt động của phép toán này được mô tả như sau:

Begin

n Î[0,1]

n= rand(1)

if (Cond1== TRUE)

if (n<= PA1) TaskA else TaskB;

else if (Cond2= TRUE)

if (n<= PA2) TaskA else TaskB;

else if (Condn== TRUE)

if (n<= PAn) TaskA else TaskB;

else

if (n<= PA0) TaskA else TaskB;

end