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

References

• Belkahla Driss , O . 2007 . A distributed transient inter-production scheduling for flexible manufacturing systems . Journal Européen des Systémes Automatisés , 41 ( 1 ) : 101 – 123 .
   Google Scholar
• Bellmann , R , Esogbue , AO and Nabeshima , I . 1982 . Mathematical aspects of scheduling and applications , Oxford : Pergamon Press .
   Google Scholar
• 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
   Google Scholar
• Benasser , A . 1996 . “ A scheduling application of the accessibility in Petri nets ” . In Computer integrated manufacturing and automation technology (CIMAT'1996) 168 – 173 . Grenoble, , France
   Google Scholar
• 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), . 2001 . pp. 452 – 461 . Quebec City, , Canada
   Google Scholar
• 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
   Google Scholar
• 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
   Google Scholar
• Carlier , J and Chretienne , P . 1982 . “ Les problèmes d'ordonnancement : un domaine très ouvert ” . In RO-RAIRO 175 – 217 .
   Google Scholar
• Carlier , J and Chretienne , P . 1988 . Problèmes d'ordonnancement : modélisation / complexité / algorithmes , Paris, , France : Editions Masson .
   Google Scholar
• 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
   Google Scholar
• Damanesco , BC 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
   Google Scholar
• Diaz , D . 2001 . Les réseaux de Petri – Modèles fondamentaux. Paris: Hermes Science Editions
   Google Scholar
• Erschler , J , Leveque , D and Roubellat , F . 1982 . “ Periodic loading of flexible manufacturing systems ” . In IFIP Congress, APMS 327 – 339 . Bordeaux, , France
   Google Scholar
• Felder , M , Ghezzi , C and Pezzè , M . 1993 . “ Analyzing refinements of state-based: the case of TB nets ” . In Proceedings of the international symposium on software testing and analysis, Edited by: Ostrand , Thomas and Weyuker , Elaine . Cambridge, MA, , USA
   Google Scholar
• Gotha . 1993 . Problèmes d'ordonnancement . RAIRO Recherche Opérationnelle , 27 ( 1 ) : 77 – 150 .
   Google Scholar
• Hillion , HP and Proth , J-M . 1989 . Performance evaluation of job-shop systems using timed event-graphs . IEEE Transactions on Automatic Control , 34 ( 1 ) : 3 – 9 .
   Web of Science ®Google Scholar
• Hsu , T . 2008 . Genetic algorithm for FMS cyclic scheduling . European Journal of Operational Research , 191 ( 2 ) : 464 – 484 .
   Google Scholar
• 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 .
   Google Scholar
• Jensen , K . 1992 . Coloured Petri Nets, Basic concepts, analysis methods and practical use, EATCS Monographs on Theoretical Computer Science , Vol. 1 , Germany : Springer-Verlag .
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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 .
   Google Scholar
• 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 .
   Google Scholar
• Lee , DY and DiCesare , FD . 1992 . FMS scheduling using Petri net and heuristic search . IEEE International conference on robotic and automation . 1992 . Nice, , France
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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 .
   Google Scholar
• Murata , T . 1989 . Petri nets: properties, analysis and applications . Proceedings of the IEEE , 77 ( 4 ) : 541 – 580 .
   Web of Science ®Google Scholar
• Ohl , H . 1995 . “ Petri net modeling of ratio-driven flexible manufacturing systems and applications on the wip for cyclic schedules ” . In IEEE SMC'95 Vol. 4 , 3081 – 3086 . Vancouver, , Canada
   Google Scholar
• Ramamoorthy , CV and Gary , S . 1980 . Performance evaluation of asynchronous concurrent systems using Petri nets . IEEE Transactions on Software Engineering , SE-6 ( 5 ) : 440 – 449 .
   Web of Science ®Google Scholar
• Ramchandani , C . 1974. Analysis of asynchronous concurrent systems by timed petri nets. Thesis (PhD). Massachusetts Institute of Technology
   Google Scholar
• Serafini , P and Ukovich , W . 1989 . A mathematical model for periodic scheduling problems . SIAM Journal of Discrete Mathematics , 2 ( 4 ) : 550 – 581 .
   Google Scholar
• Valentin , C . 1994 . “ Modeling and analysis methods for a class of hybrid dynamic systems ” . In ADPM '94 221 – 226 . Brussels, Belgium
   Google Scholar
• Varnier , C and Baptiste , P . 1995 . A CLP approach for finding a transition schedule between two cyclic mono-product productions in electroplating facilities . International conference on industrial engineering and production management, Mons, Belgium. Vol. 1 . 1995 . pp. 194 – 203 .
   Google Scholar