//Insert declarations of global clocks, variables, constants and channels. broadcast chan a; //Insert process assignments. //Edit system definition. system P, P0, P1;