Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. - Berend Jan Christiaan van Putten; Bram van der Sanden; Michel A. Reniers; Jeroen Voeten; Ramon R. H. Schiffelers (Discret. Event Dyn. Syst., 2021)