The reverse is not true. PARBEGIN and PAREND cannot be used to express some precedence graphs. In particular, our first example can only be partially realized using PARBEGIN and PAREND:
S1;
PARBEGIN
S2; S3
PAREND;
PAREBEGIN
S4; S5
PAREND;
S6;
|
Notice that this does not allow S2 and S5 to be done in parallel, though the precedence graph permits it. |