Exploiting symmetry in the synthesis of supervisors for discrete event systems. - José M. Eyzell; José E. R. Cury (IEEE Trans. Autom. Control., 2001)