Petri net based modeling and GA based scheduling for a flexible manufacturing system | IEEE Conference Publication | IEEE Xplore