A timed Petri net and beam search based online FMS scheduling system with routing flexibility | IEEE Conference Publication | IEEE Xplore