Modeling job shop scheduling with batches and setup times by timed Petri nets

  • Authors:
  • Hehua Zhang;Ming Gu

  • Affiliations:
  • Department of Computer Science and Technology, Tsinghua University, Beijing 100084, PR China and School of Software, Tsinghua University, Beijing 100084, PR China and Key Laboratory for Informatio ...;School of Software, Tsinghua University, Beijing 100084, PR China and Key Laboratory for Information System Security, Ministry of Education of China, Beijing, PR China

  • Venue:
  • Mathematical and Computer Modelling: An International Journal
  • Year:
  • 2009

Quantified Score

Hi-index 0.98

Visualization

Abstract

Batch and setup times are two important factors in practical job shop scheduling. This paper proposes a method to model job shop scheduling problems including batches and anticipatory sequence-dependent setup times by timed Petri nets. The general modeling method is formally presented. The free choice property of the model is proved. A case study extracted from practical scheduling is given to show the feasibility of the modeling method. Comparison with some previous work shows that our model is more compact and effective in finding the best solution.