Scheduling optimization for FMS based on Petri net modeling and GA | IEEE Conference Publication | IEEE Xplore