Я новичок в промеле. У меня есть программа, написанная на промеле: bit signal [2]; active [2] proctype proc() { l1: signal[_pid]=1; l2: !signal[1-_pid] -> l3: signal[_pid]=0; } #define sig0 (signal[0]==0) #define sig1 (signal[0]==1)...