“…Automata are intuitive models used to achieve the original contributions and most of the subsequent developments in the literature of supervisory control of DESs [20], [50]. Meanwhile, with the development of DESs, Petri nets (PNs) have become a conceptual framework and a fundamental model for DESs since they are widely used to address various classes of problems, including the formal representation and development of systems, along with their supervisory control [9], [10], [17], [49], [55], controller synthesis or design [22], [23], [34], [47], state estimation and observability [2], [14], [36], fault detection, diagnosis, and prognosis [11], [16], [19], [25], [37], [48], [56], [57], diagnosability [3], [8], [40], [41], opacity [12], [13], [46],…”