Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration | IEEE Journals & Magazine | IEEE Xplore