Petri net based control for the dynamic scheduling of a flexible manufacturing cell | IEEE Conference Publication | IEEE Xplore