FMS scheduling based on timed Petri net model and RTA* algorithm | IEEE Conference Publication | IEEE Xplore