A Method for PLC Implementation of Supervisory Control of Discrete Event Systems. - Agnelo Denis Vieira; Eduardo Alves Portela Santos; Max Hering de Queiroz; André B. Leal; Amaro Duarte de Paula Neto; José Eduardo Ribeiro Cury (IEEE Trans. Control. Syst. Technol., 2017)