A Petri net-based modeling and scheduling with a branch and bound algorithm

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2012, Pages 1779-1784

  Kim, Hyun Jung ^a   Lee, Jun Ho ^a   Lee, Tae Eog ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

branch and bound algorithm; non cyclic scheduling; timed Petri net

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; BRANCH AND BOUNDS; BRANCH-AND-BOUND ALGORITHMS; DISCRETE EVENT DYNAMIC SYSTEMS; FIRING CYCLE; JOB SHOP; LOWER BOUNDS; PETRI NET MODELS; RESOURCE-CONSTRAINED PROJECT SCHEDULING PROBLEM; SCHEDULING CONSTRAINTS; SCHEDULING PROBLEM; SOLUTION METHODS; SYSTEM SCHEDULING; TIMED PETRI NET; TIMED PETRI NETS;

ALGORITHMS; BATCH DATA PROCESSING; BRANCH AND BOUND METHOD; CYBERNETICS; DISCRETE EVENT SIMULATION; LINEAR PROGRAMMING; PETRI NETS; SCHEDULING;

PROBLEM SOLVING;

EID: 84872420336     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2012.6377995     Document Type: Conference Paper

References (27)

1. W. M. P. van der Aalst, "Petri net based scheduling," OR Specturm, vol. 18, no. 4, pp. 219-229, 1996.
2. W. M. P. van der Aalst and K. M. van Hee, "Business process redesign: a Petri net based approach," Computers in Industry, vol. 29, no. 1-2, pp. 15-26, 1996.
3. M. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach," IEEE Transactions on Semiconductor Manufacturing, vol. 11, no. 3, pp. 333-357, 1998. (Pubitemid 128742374)
4. N. Wu, C. Chu, F. Chu, and M. C. Zhou, "A Petri net method for schedulability and scheduling problems in single-arm cluster tools with wafer residency time constraints," IEEE Transactions on Semiconductor Manufacturing, vol. 21, no. 2, pp. 224-237, 2008.
5. C. Jung and T.-E. Lee, "An eficient mixed integer programming model based on timed Petri nets for diverse complex cluster tool scheduling problems," IEEE Transactions on Semiconductor Manufacturing, vol. 25, no. 2, pp. 186-199, 2012.
6. H.-J. Kim, J.-H. Lee, C. Jung, and T.-E. Lee, "Scheduling cluster tools with ready time constraints for consecutive small lots," IEEE Transactions on Automation Science and Engineering, to appear.
7. T.-H. Sun, C.-W. Cheng, and L.-C. Fu, "A Petri net based approach to modeling and scheduling for an FMS and a case study," IEEE Transactions on Industrial Electronics, vol. 41, no. 6, pp. 593-601, 1994.
8. D. Y. Lee and F. DiCesare, "Scheduling flexible manufacturing systems using Petri nets and heuristic search," IEEE Transactions on Robotics and Automation, vol. 10, no. 2, pp. 123-132, 1994.
9. Y. W. Kim, T. Suzuki, and T. Narikiyo, " FMS scheduling based on timed Petri net model and reactive graph search," Applied Mathematical Modelling, vol. 31, no. 6, pp. 955-970, 2007. (Pubitemid 46076082)
10. A. Kumar and L. S. Ganesh, "Use of Petri nets for resource allocation in projects," IEEE Transactions on Engineering Management, vol. 45, no. 1, pp. 49-56, 1998.
11. Y.-L Chen, P.-Y. Hsu, and Y.-B. Chang, "A Petri net approach to support resource assignment in project management," IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, vol. 38, no. 3, pp. 564-574, 2008. (Pubitemid 351649888)
12. J. P. Reddy, S. Kumanan, and O. V. K. Chetty, "Application of Petri nets and a genetic algorithm to multi-mode multi-resource constrained project scheduling," International Journal of Manufacturing Technology, vol. 17, no. 4, pp. 305-314, 2001. (Pubitemid 32914811)
13. T. Kis, D. Kiritsis, and P. Xirouchakis, "A Petri net model for integrated process and job shop production planning," Journal of Intelligent Manufacturing, vol. 11, no. 2, pp. 191-207, 2000.
14. H. P. Hillion and J.-M. Proth, "Performance evaluation of job-shop systems using timed event-graphs," IEEE Transactions on Automatic Control, vol. 34, no. 1, pp. 3-9, 1989.
15. C. Jung, "Cyclic Scheduling of Timed Petri Nets: Behavior, Optimization, and Application to Cluster Tools," Ph.D. dissertation, Dept. Industrial and Systems Engineering, Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea, 2010.
16. M. Zhou, H.-S. Chiu, and H. Xiong, "Petri net scheduling of FMS using branch and bound method," in Proceedings of the 1995 IEEE IECON 21 st International Conference on Industrial Electronics, Control, and Instrumentation, Orlando, 1995, pp. 211-216.
17. T. Murata, "Petri nets: properties, analysis and application," in Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
18. R. Divid and H. Alla, "Petri nets for modeling of dynamic systems- a survey," Automatica, vol. 30, no. 2, pp. 175-202, 1994. (Pubitemid 124007981)
19. R. Zurawski and M. Zhou, "Petri nets and industrial applications: a tutorial," IEEE Transactions on Industrial Electronics, vol. 41, no. 6, pp. 567-583, 1994.
20. S. Hartmann and D. Briskorn, "A survey of variants and extensions of the resource-constrained project scheduling problem," European Journal of Operational Research, vol. 207, no. 1, pp. 1-14, 2010.
21. M. L. Pinedo, Scheduling theory, algorithms, and systems, New York: Springer, 2008, pp. 35-106.
22. T.-E. Lee and S.-H. Park, "An extended event graph with negative places and tokens for time window constraints," IEEE Transactions on Automation Science and Engineering, vol. 2, no. 4, pp. 319-332, 2005. (Pubitemid 41560387)
23. C. Kim and T.-E. Lee, "Modeling and Simulation of Automated Manufacturing Systems for Evaluation of Complex Schedules," International Journal of Production Research, submitted for publication.
24. J. Billington et al., "The Petri net markup language: concepts, technology, and tools," in Proceedings of International Conference on Applications and Theory of Petri nets, vol. 2679, 2003, pp. 483-505.
25. J. Carlier, "The one-machine sequencing problem," European Journal of Operational Research, vol. 11, no. 1, pp. 42-47, 1982.
26. E. Demeulemeester and W. Herroelen, "A branch-and-bound procedure for the multiple resource-constrained project scheduling problem," Management Science, vol. 38, no. 12, pp. 1803-1818, 1992.
27. K. Bouleimen and H. Lecocq, "A new eficient simulated annealing algorithm for resource-constrained project scheduling problem and its multiple mode version," European Journal of Operational Research, vol. 149, no. 2, pp. 268-281, 2003.