A Petri nets and genetic algorithm based optimal scheduling for job shop manufacturing systems | IEEE Conference Publication | IEEE Xplore