Transient inter-production scheduling based on Petri nets and constraint programming

International Journal of Production Research

Volumn 49, Issue 22, 2011, Pages 6591-6608

  Bourdeaud'huy, Thomas ^a   Belkahla, Olfa ^a,b   Yim, Pascal ^a   Korbaa, Ouajdi ^a,c   Ghedira, Khaled ^a,b  

^a ECOLE CENTRALE DE LILLE   (France)

^b UNIVERSITY OF TUNIS   (Tunisia)

^c UNIVERSITY OF SOUSSE   (Tunisia)

Author keywords

constraint programming; cyclic scheduling; Petri nets; transient production

Indexed keywords

CONSTRAINT PROGRAMMING; CYCLIC PRODUCTION; CYCLIC SCHEDULING; DURATION TIME; FINAL STATE; REACHABILITY CONSTRAINTS; REACHABILITY PROBLEM; SCHEDULING PROBLEM; STATE EQUATIONS; TIMED PETRI NETS; TRANSITION FIRINGS;

CONSTRAINT THEORY; EQUATIONS OF STATE; FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS; PRODUCTION ENGINEERING; SCHEDULING;

COMPUTER PROGRAMMING;

EID: 80053492505     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207543.2010.519113     Document Type: Review

References (32)

1. Belkahla Driss, O., et al., 2007. A distributed transient inter-production scheduling for flexible manufacturing systems. Journal Européen des Systémes Automatisés, 41 (1), 101-123.
2. Bellmann, R., Esogbue, A.O., and Nabeshima, I., 1982. Mathematical aspects of scheduling and applications. Oxford: Pergamon Press.
3. Benasser, A., 2000. L'accessibilité dans les réseaux de Petri : Une approche basée sur la programmation par contraintes. Thesis (PhD). Université des Sciences et Technologies de Lille.
4. Benasser, A., et al., 1996. A scheduling application of the accessibility in Petri nets. In: Computer integrated manufacturing and automation technology (CIMAT'1996), Grenoble, France, 168-173.
5. Benasser, A. and Yim, P., 2001. A logical abstraction for autonomous timed Petri net. In: International conference on industrial engineering and production management (IEPM'2001), Quebec City, Canada, 452-461.
6. Bourdeaud'huy, T., 2004. Techniques d'Abstraction pour l'analyse et la synthèse de réseaux de Petri. Thesis (PhD). Ecole Centrale de Lille.
7. Bourdeaud'huy, T., Hanafi, S., and Yim, P., 2006. Scheduling of flexible manufacturing systems using timed Petri nets and mathematical programming. In: International workshop on discrete event systems. Ann Arbor, Michigan, USA.
8. Carlier, J. and Chretienne, P., 1982. Les problèmes d'ordonnancement : Un domaine très ouvert. RO-RAIRO.175-217.
9. Carlier, J. and Chretienne, P., 1988. Problèmes d'ordonnancement : Modélisation / complexité / algorithmes. Paris, France: Editions Masson.
10. Chrétienne, P., 1984. Exécutions contrôlées dans les réseaux de Petri temporisés. T.S.I., 3, Hermes Editions, Paris, 22.
11. Damanesco, B.C. and Xie, X., 1998. Deadlock-free scheduling of manufacturing systems with multiple resources. In: INCOM, 9th IFAC symposium on information control in manufacturing. Vol. 2, Nancy-Metz, France.
12. Diaz, D., 2001. Les réseaux de Petri-Modèles fondamentaux. Paris: Hermes Science Editions.
13. Erschler, J., Leveque, D., and Roubellat, F., 1982. Periodic loading of flexible manufacturing systems. In: IFIP Congress, APMS, Bordeaux, France, 327-339.
14. Felder, M., Ghezzi, C., and Pezzè , M., 1993. Analyzing refinements of state-based: The case of TB nets. In: Thomas Ostrand and Elaine Weyuker, eds. Proceedings of the international symposium on software testing and analysis, Cambridge, MA, USA.
15. Gotha, 1993. Problèmes d'ordonnancement. RAIRO Recherche Opérationnelle, 27 1 77-150.
16. Hillion, H.P. and Proth, J.-M., 1989. Performance evaluation of job-shop systems using timed eventgraphs. IEEE Transactions on Automatic Control, 34 (1), 3-9.
17. Hsu, T., et al., 2008. Genetic algorithm for FMS cyclic scheduling. European Journal of Operational Research, 191 (2), 464-484.
18. Janicki, R. and Koutny, M., 1991. Optimal simulations, nets and reachability graphs. Advances in Petri Nets 1991, Lecture Notes in Computer Science, 524, 205-226.
19. Jensen, K., 1992. Coloured Petri Nets, Basic concepts, analysis methods and practical use, EATCS Monographs on Theoretical Computer Science. Vol. 1, Germany: Springer-Verlag.
20. Korbaa, O., Benasser, A., and Yim, P., 2003. Two FMS scheduling methods based on Petri nets: A global and a local approach. International Journal of Production Research (IJPR'2003), 41 (7), 1349-1371.
21. Korbaa, O., Camus, H., and Gentina, J.-C., 2002. A new cyclic scheduling algorithm for flexible manufacturing systems. International Journal of Flexible Manufacturing Systems (IJFMS), 14 (2), 173-187.
22. Korbaa, O., Yim, P., and Gentina, J.-C., 2000. Solving transient scheduling problems with constraint programming. European Journal of Control (EJC), 6 (6), 511-524.
23. Lee, D.Y. and DiCesare, F.D., 1992. FMS scheduling using Petri net and heuristic search. In: IEEE International conference on robotic and automation, Nice, France.
24. Lee, J. and Korbaa, O., 2004. Modeling and analysis of ratio-driven FMS using unfolding time Petri nets. Computers and Industrial Engineering (CIE), 46 (4), 639-653.
25. Munier, A., 1991. Résolution d'un problème d'ordonnancement cyclique àitérations indépendantes et contraintes de ressources. RO-RAIRO, 25 (2), 161-182.
26. Murata, T., 1989. Petri nets: Properties, analysis and applications. Proceedings of the IEEE , 77 (4), 541-580.
27. Ohl, H., et al., 1995. Petri net modeling of ratio-driven flexible manufacturing systems and applications on the wip for cyclic schedules. In: IEEE SMC'95. Vol. 4, Vancouver, Canada, 3081-3086.
28. Ramamoorthy, C.V. and Gary, S., 1980. Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Transactions on Software Engineering, SE-6 (5), 440-449. (Pubitemid 11453640)
29. Ramchandani, C. 1974. Analysis of asynchronous concurrent systems by timed petri nets. Thesis (PhD). Massachusetts Institute of Technology.
30. Serafini, P. and Ukovich, W., 1989. A mathematical model for periodic scheduling problems. SIAM Journal of Discrete Mathematics, 2 (4), 550-581.
31. Valentin, C., 1994. Modeling and analysis methods for a class of hybrid dynamic systems. In: ADPM '94, Brussels, Belgium, 221-226.
32. Varnier, C. and Baptiste, P., 1995. A CLP approach for finding a transition schedule between two cyclic mono-product productions in electroplating facilities. In: International conference on industrial engineering and production management, Mons, Belgium. Vol. 1, 194-203.