Modelling adaptive multi-agent manufacturing control with discrete event system formalism