Modeling evolutionary supervisors for multi-agent manufacturing control with discrete event formalism | IEEE Conference Publication | IEEE Xplore