Feedback control of manufacturing systems using controlled marked graphs with time constraints | IEEE Conference Publication | IEEE Xplore