Discrete Event Systems (DES) constitute a class of dynamic systems characterised by state transitions that occur at discrete points in time, triggered by instantaneous events. Supervisory Control ...