Un sistema automàtic de control de l'aforament d'un recinte està constituït per tres sensors de comptatge de persones situats estratègicament. El sistema emet un avís per megafonia quan almenys dos d'aquests sensors superen el valor de referència prefixat p_màx. Variables d'estat: sensor i (i = 1, 2, 3): si = {1: persones > p_màx; 0: persones ≤ p_màx}; avís de megafonia: m = {1: s'emet l'avís; 0: no s'emet l'avís}