@article{959209, recid = {959209}, author = {Huang, Bo, and Zhou, MengChu,}, title = {Supervisory control and scheduling of resource allocation systems : reachability graph perspective /}, pages = {1 online resource (xxv, 256 pages) :}, url = {http://library.usi.edu/record/959209}, }