A distributed manufacturing execution system implemented with agents: the PABADIS model | IEEE Conference Publication | IEEE Xplore