Synthesis and implementation of supervisory control for manufacturing systems under processing uncertainties and time constraints. Issue 4 (2020)