This thesis presents a integer linear model which can be used to schedule for job shop operation with machine buffer. The thesis researches in real job shop manufacturing system with collected data for result checking. The ...