Controlling a flexible manufacturing system using a centralized supervisor based on parallel composition of Petri networks | IEEE Conference Publication | IEEE Xplore