Branch and Bound algorithms for control of discrete event processes-aplication for discretes manufacturing processes. Dyduch, Ewa Dudek.