Modeling with colored timed object-oriented Petri nets for automated manufacturing systems
Computers and Industrial Engineering
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Expert Systems with Applications: An International Journal
Hi-index | 0.98 |
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.