Supervisor Design with Fewer Places | part of Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective | Wiley-IEEE Press books | IEEE Xplore