A discrete-event system model for multi-agent control of automated manufacturing systems