Writing maximum gap constraints for part routing in manufacturing systems modelled as Petri nets | IEEE Conference Publication | IEEE Xplore