Modeling and scheduling of real-life assembly job shop with timed colored Petri net | IEEE Conference Publication | IEEE Xplore