clock x1 , x2, x3, x4; int id;P1 := P( x1, 1); P2 := P( x2, 2); P3 := P( x3, 3); P4 := P( x4, 4);system P1, P2, P3, P4;