//Insert declarations of global clocks, variables, constants and channels. //Insert process assignments. //Edit system definition. system P;