Deadlock-free scheduling method for automated manufacturing systems using genetic algorithm and Petri nets | IEEE Conference Publication | IEEE Xplore