Funding Information: This work was funded by the Portuguese Agency Fundação para a Ciência e a Tecnologia (FCT) program, in the framework of project Center of Technology and Systems (CTS) UIDB/00066/2020 / UIDP/00066/2020. Publisher Copyright: © 2024 by the authors.; Controllers for discrete-event systems are commonly designed using state-based formalisms, like state diagrams and Petri nets. These formalisms ar...