Universidad de Oviedo Problemas M340 - 269

ISA

Preliminar
(* Variables utilizadas en el programa *)
Mx_FCA:= (Ix_FCA and Ix_LocDist) or (MxP_FCA and not Ix_LocDist);
Mx_FCC:= (Ix_FCC and Ix_LocDist) or (MxP_FCC and not Ix_LocDist);
Mx_TME:= (Ix_TME and Ix_LocDist) or (MxP_TME and not Ix_LocDist);
Mx_TMS:= (Ix_TMS and Ix_LocDist) or (MxP_TMS and not Ix_LocDist);
Mx_SenLuz:= (Ix_SenLuz and Ix_LocDist) or (MxP_SenLuz and not Ix_LocDist);
Mx_PLuz:= (Ix_PLuz and Ix_LocDist) or (MxP_PLuz and not Ix_LocDist);
Mx_SenCoche:= (Ix_SenCoche and Ix_LocDist) or (MxP_SenCoche and not Ix_LocDist);

GRAFCET "Proceso" GRAFCET "Control de la luz"

Sección "Transiciones"
Tran30_31 := (S_Entrando.x and Mx_SenLuz) or Mx_PLuz;
Tran31_30 := Etapa31.t >= t#20s;
Tran20_21 := S_Entrando.x or S_Saliendo.x;
Tran20_23 := S_ProcParado.x and not Mx_FCC;
Tran22_23 := Etapa22.t >= t#10s;
Tran24_21 := Etapa24.t >= t#500ms;
Tran26_21 := Etapa26.t >= t#500ms;
Tran27_21 := Etapa27.t >= t#500ms;