Using a discrete-event system formalism for the multi-agent control of manufacturing systems