//Insert declarations of global clocks, variables, constants and channels. urgent chan a; clock time;P1:=Pa(); P2:=Pb();system P1, P2;