MODULE exo1; (* ---------------------------------------------------------------------- exo1.pm D. Thiebaut Defines a chain of 8 PEs, and a linear left-right connection. ---------------------------------------------------------------------- *) CONST N=8; CONFIGURATION chain[0..N-1]; CONNECTION left: chain[i]->chain[i-1]; right: chain[i]->chain[i+1]; BEGIN (* do nothing! *) END exo1.