Formal approach of FMS cyclic scheduling

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 37, Issue 1, 2007, Pages 126-137

  Trouillet, Benoît ^a   Korbaa, Ouajdi ^a   Gentina, Jean Claude ^a  

^a ECOLE CENTRALE DE LILLE   (France)

Author keywords

(Min, +); (Min, div); Algebra; Cyclic scheduling; Dioid; Marked graph; Weighted T system

Indexed keywords

EVALUATION; MANAGEMENT; PERFORMANCE; PETRI NETS; SCHEDULING;

CYCLIC SCHEDULING; DIOID; MARKED GRAPH; WEIGHTED T-SYSTEM;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 33845722194     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2006.876063     Document Type: Article

References (34)

1. P. Serafini and W. Ukovich, "A mathematical model for periodic scheduling problems," Soc. Ind. Appl. Math., vol. 2, no. 4, pp. 550-581, Nov. 1989.
2. H. Manier and P. Baptiste, "The influence of the lay-out perfomances of few methods of control of flexible manufacturing ring," in Proc. CESA'96, Lille, France, Jul.1996, pp. 570-574.
3. X. L. Xie, "Real time scheduling and rooting for FMS with unreliable machines," RAIRO, Recherche Opérationnelle, vol. 23, no. 4, pp. 355-374, 1989.
4. J. Sifakis, "Structural Properties of Petri Nets," in Proc. 7th Symp. Math. Found. Comput. Sci., Lecture Notes in Computer Science, vol. 64, New York: Springer-Verlag, 1978, pp. 478-483.
5. C. Hanen, "Study of NP-hard scheduling problems: The recurrent jobshop," Eur. J. Oper. Res., vol. 72, pp. 82-101, 1994.
6. S. C. Graves, H. C. Meal, D. Stefek, and A. H. Zeghmi, "Scheduling of re-entrant flow shops," J. Oper. Manage., vol. 3, no. 4, pp. 197-207, Aug. 1983.
7. Y. Krama, V. Katz, J. Van de Klundert, and E. Levener, "Cyclic scheduling in robotic flow shops," presented at the GEMME, Working Paper 9802, Jan. 1998.
8. K. Onaga, M. Silva, and T. Watanabe, "On periodic schedules for deterministically timed Petri net systems," in Proc. 4th Int. Workshop Petri Nets Performance Models, Melbourne, Australia, 1991, pp. 210-215.
9. A. Di Febbraro, R. Minciardi, and S. Sacone, "Work in process optimisation of cyclic manufacturing systems with assigned throughputs," in Proc. IEEE Symp. Emerging Technol. Factory Autom., vol. 313, Oct. 1995, pp. 471-477.
10. R. Dupas, G. Cavory, and G. Goncalves, "A genetic approach to the scheduling of preventive maintenance on manufacturing production line," Int. J. Prod. Econ., vol. 74, pp. 135-146, Dec. 2001.
11. J. Erschler, D. Levěque, and F. Roubellat, "Periodic loading of flexible manufacturing systems," in IFIP Congress, 1982, pp. 327-339.
12. H. P. Hillion and J. P. Proth, "Performance evaluation of job-shop systems using timed event graphs," IEEE Trans. Autom. Control, vol. 34, no. 1, pp. 3-9, Jan. 1989.
13. C. Valentin, "Modeling and analysis methods for a class of hybrid dynamic systems," in Proc. Symp. Automatisation des processus mixtes: Les systèmes dynamiques hybrides, Nov. 1994, pp. 221-226.
14. H. Ohl, H. Camus, E. Castelain, and J.-C. Gentina, "A heuristic algorithm for the computation of cyclic schedules and the necessary WIP to obtain optimal cycle time," in Proc. Rensselaer's 4th Int. Conf. CIMAT'94. New York, Oct. 1994, vol. 1, pp. 339-344.
15. O. Korbaa, H. Camus, E. Castelain, and J.-C. Gentina, "Heuristic for the resolution of the general fms cyclic scheduling problem," in Proc. IEEE Syst. Man Cybern., Orlando, FL, Oct. 1997, vol. 3, pp. 2903-2908.
16. J. K. Lee, "Une méthode d'analyse d'ordonnancement des systèmes flexibles de production manufacturieère utilisant le dépliage des réseaux de Petri," Thèse de doctorat Université de Lille 1, Lille, France, 2002.
17. G. Cohen, D. Dubois, J.-P. Quadrat, and M. Viot, "Analyse du comportement périodique de systèmes de production par la théorie des dioïdes," Tech. Rep. 191, INRIA, Rocquencourt, France, Feb. 1983.
18. G. Cohen, P. Moller, J.-P. Quadrat, and M. Viot, "Algebraic tools for the performance evaluation of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 39-57, Jan. 1989.
19. G. Cohen, S. Gaubert, and J.-P. Quadrat, "Algebraic system analysis of timed Petri nets," in Idempotency, J. Gunawardena, Ed. Cambridge, U.K.: Cambridge Univ. Press, 1995.
20. G. Cohen, S. Gaubert, and J.-P. Quadrat,, "Timed event graphs with multipliers and homogeneous min-plus systems," IEEE Trans. Autom. Control, vol. 43, no. 9, pp. 1296-1302, Sep. 1998.
21. B. Trouillet, A. Benasser, and J.-C. Gentina, "On the modelling of the dynamical behavior of weighted t-systems," APII-JESA, vol. 36, no. 7, pp. 931-944, 2002.
22. A. Munier, "Régime asymptotique optimal d'un graphe d'événements temporisé généralisé'. Application à un problème d'assemblage," RAIRO-APII, vol. 27, pp. 487-513, 1993.
23. I. Simon, "Limited subsets of the free monoid," in Proc. 19th Annu. Symp. Found. Comput. Sci., 1978, pp. 143-150.
24. G. Cohen, D. Dubois, J.-P. Quadrat, and M. Viot, "A linear-system-theoric view of discrete-event processes and its use for performance evaluation in manufacturing," IEEE Trans. Autom. Control, vol. 30, no. 3, pp. 210-220, Mar. 1985.
25. S. Gaubert, "Resource optimization and (min, +) spectral theory," IEEE Trans. Autom. Control, vol. 40, no. 11, pp. 1931-1934, Nov. 1995.
26. S. Gaubert and M. Plus, "Methods and applications of (max, +) linear algebra," Rapport de Recherche 3088, INRIA, Rocquencourt, France, Jan. 1997.
27. S. Lahaye, J. L. Boimond, and L. Hardouin, "Timed event graphs with variable resources: Asymptotic behavior, representation in (min, +) algebra," J. Européen des Systèmes Automatisés, vol. 33, no. 8-9, pp. 1015-1032, Nov. 1999.
28. R. Bellmann, A. O. Esogbue, and I. Nabeshima, Mathematical Aspects of Scheduling and Applications. New York: Pergamon, 1982.
29. W. Reisig, Petri Nets, an Introduction. Berlin, Germany: Springer-Verlag, 1985.
30. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
31. R. Janicki and M. Koutny, "Optimal simulations, nets and reachability graphs," in Advances in Petri Nets 1991, G. Rozenberg, Ed. New York: Springer-Verlag, 1991, Lecture Notes in Computer Science, vol. 524, pp. 205-226.
32. F. Commoner, A. W. Holt, S. Even, and A. Pnueli, "Marked directed graphs," J. Comput. Syst. Sci., vol. 5, no. 5, pp. 511-523, 1971.
33. K. Jensen, Ed. On Weignted T-Systems, Lecture Notes in Computer Science, vol. 616. New York: Springer-Verlag, 1992.
34. Q. Zhen and W.-M. Lu, "On liveness and safeness for weighted extended free choice nets," J. Softw., vol. 11, no. 3, pp. 300-307, 2000.