@mastersthesis{Prosser1994, title = {Centralized supervisory control of discrete-event systems}, year = {1994}, school = {Drexel University}, type = {masters}, author = {Prosser, Joseph H.} }