Task scheduling using priority-based supervisory control of DES