Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets | IEEE Conference Publication | IEEE Xplore