CMAIN = CMAIN[0][0],
CMAIN[piatto:0..1][micro:0..1]=(
    piattoon -> CMAIN[(piatto+1)%2][micro] |
    microon -> CMAIN[piatto][(micro+1)%2]  |
    when (((piatto==0) && (micro==0)) || ((piatto==1) && (micro==1)))
    piattoon -> microon -> CMAIN[(piatto+1)%2][(micro+1)%2] |
    signal -> CMAIN[0][0]
).

CDOOR = (check -> signal -> CDOOR
).

||FORNO =(CMAIN || CDOOR).