Supervisory control and scheduling of resource allocation systems : reachability graph perspective /: reachability graph perspective. (2020)