A Discrete-Event Formalism to Model Adaptive Multi-Agent Manufacturing Control