Energy-Efficient Scheduling of Flexible Manufacturing Systems Based on Petri Net | IEEE Conference Publication | IEEE Xplore