Examples

1.    Queue1 ::
      Queue2 ::
      Queue3 ::
      ReArrange (D) Proc1, Proc2 ::
       SELECT(Queue2, Queue3, Queue1, J) IF Size = 2 THEN SENDTO(Proc1)
                                                     ELSE SENDTO(Proc2)

   The ReArrange node takes J messages from each Queue (in the order in which they appear in the SELECT) and according to the value of the field Size it sends them to Proc1 or Proc2.

2.     Divide (D) :: IF Good THEN SENDTO(FIRST, Pile)
                             ELSE SENDTO(Garbage);