Ứng dụng

Cú pháp:

<Concurrency> ::= Concurrency(<expression>, <expression>, <expression>,  <conditional_expression>, <expression>,

    <conditional_expression>,<expression>)

Ví dụ:

Concurrency(TaskA,TaskB,PA0,Cond1,PA1,cond2,PA2,…,Condn,PAn)

Trong đó 0< PA_i <1  iÎ[0,n], cond_i Îbool,cond_i là các biên kiểu boolean.

Hoạt động của phép toán được trình bày như sau:

do

begin

 n= rand(1)

 if (Cond1== TRUE)

  if (n<= PA1) Action_From_TaskA;

              else Action_from_TaskB;

  else if (Cond2== TRUE)   

      if (n<= PA2) Action_From_TaskA;

              else Action_from_TaskB;  

     …

 else if (Condn== TRUE)

      if (n<= PAn) Action_From_TaskA;

              else Action_from_TaskB;  

 else

      if (n<= PA0) Action_from_TaskA;

     else Action_from_TaskB;  

  if TaskA is finished

  all remaining actions of TaskB are executed;   

  if TaskB is finished

  all remaining actions of TaskA are executed;  

end;