+. Automate-(-max, automate avec des transitions pondérées par des gains. Le coût associé à un mot w dans l'automate est le coût maximal parmi les coûts de tous les chemins décrits avec le même mot w

+. Min, automate avec des transitions pondérées par des coûts. Le coût associé à un mot w dans l'automate est le coût minimal parmi les coûts de tous les chemins décrits avec le même mot w, Automate

M. Composé, représentation de l'exécution de micro-événements de manière simultanée dans un ensemble d'automates. Dans chaque automate s'exécute un seul micro-événement

M. Composé, représentation de l'exécution de macro-événements de manière simultanée dans un ensemble d'automates. Dans chaque automate s'exécute un macro

. Micro-Événement, Macro-événement) Vide : micro(macro)-événement dénotant qu'aucune opération ne s'exécute pendant 1 unité de temps, dans le cas du micro-événement vide, ou pendant n unités de temps

. Simultanée, Exécution) : terme utilisé pour faire référence à des opérations qui s'exécutent en parallèle mais qui ne débutent ou terminent pas forcément à la même date

. Synchronisée, une exécution synchronisée de 2 ou plus opérations suppose qu'elles débutent et terminent en même temps. Ici, le terme est utilisé lors que le même événement s'exécute en même temps sur un ensemble d'automates, i.e

J. Rojas-d-'onofrio, J. González, E. Boutleux, and E. Niel, Path search algorithm minimizing inteferences with envisaged operations in a pipe network, Proceedings of the European Control Conference -ECC'09, 2009.

J. Rojas-d-'onofrio, J. Márquez, E. Boutleux, and E. Niel, Path search algorithm for connections with pumps in crude oil pipe networks, 18th IFAC World Congress, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00703557

K. Quintero, E. Niel, and J. Rojas-d-'onofrio, Optimizing process supervision in a ow network in terms of operative capacity & failure risk, 15th International Congress on Automation, Systems and Instrumentation, 2011.

R. Karuppiaha, K. C. Furmanb, and I. E. Grossmann, Global optimization for scheduling renery crude oil operations, Computers & Chemical Engineering, vol.32, issue.11, p.27452766, 2008.

A. Nait-sidi-moh, M. Manier, A. Moudni, and M. Wack, Petri net with conicts and (max,plus) algebra for transportation systems, 11th IFAC Symposium on Control in Transportation Systems, p.548553, 2006.
DOI : 10.3182/20060829-3-nl-2908.00095
URL : http://hal.archives-ouvertes.fr/docs/00/47/00/47/PDF/12th-IFAC-CTS-2006-NaitSidiMoh.pdf

I. Nasri, G. Habchi, and R. Boukezzoula, An algebraic max-plus model for HVLV systems scheduling and optimization with repetitive and exible periodic preventive maintenance : just-in-time production, 9th International Conference of Modeling, Optimization and Simulation -MOSIM'12, 2012.

K. Balachandran, J. D. Bendtsen, R. L. Olsen, and J. M. Pedersen, Energy resource management in smart grid, 2012 Complexity in Engineering (COMPENG). Proceedings, p.16, 2012.
DOI : 10.1109/CompEng.2012.6242960
URL : http://vbn.aau.dk/ws/files/66764886/PID2377151.pdf

A. K. Hutzschenreuter, P. Bosman, and H. L. Poutré, Evolutionary multiobjective optimization for dynamic hospital resource management In Springer, editor, Evolutionary Multi-Criterion Optimization, Proceedings of the 5th International Conference, p.320334, 2009.

S. Ok, W. Seo, J. Ahn, S. Kang, and B. Moon, An ant colony optimization approach for the preference-based shortest path search, Communication and Networking, pp.539546-539556, 2009.

T. Erlebach, Approximation algorithms for edge-disjoint paths and unsplittable ow, Ecient Approximation and Online Algorithms, p.97134, 2006.
DOI : 10.1007/11671541_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.484.5629

S. Yuan, B. Raghavachari, and A. Patel, Finding Maximum Reliable Path in Mesh Networks under Multiple Failures, 2010 Proceedings of 19th International Conference on Computer Communications and Networks, p.16, 2010.
DOI : 10.1109/ICCCN.2010.5560082

S. Gyapay, A. Pataricza, J. Sziray, and F. Friedler, Petri net-based optimization of production systems, 6th IEEE International Conference on Intelligent Engineering Systems, p.465469, 2002.

M. J. Silva, W. J. Silva, and P. R. Maciel, Modelling and analysis in production system: an approach based on Petri net, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), pp.4354-4359, 2004.
DOI : 10.1109/ICSMC.2004.1401216

J. Wang, Modeling closed loop supply chain system based on stochastic fuzzy petri net, International Conference on Management Science and Engineering (ICMSE), pages 598 603, 2013.

O. H. Roux, D. Deleu, and P. Molinaro, Discrete time approach of time petri nets for realtime systems analysis, Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation. IEEE. DOI :.10.1109/ETFA.2001.997686, 2001.

M. Alsaba, J. Boimond, and S. Lahaye, Sur la commande des systèmes exibles de production manufacturière par l'algèbre des dioïdes. Revue e-STA, Sciences et Technologies de l'Automatique, p.32473259, 2007.

W. Ait-cheik-bihi, A. Nait-sidi-moh, and M. Wack, Conict management and resolution using (max, +) algebra : Application to services interaction, Evaluation and Optimization of Innovative Production Systems of Goods and Services : 8th International Conference of Modeling and Simulation -MOSIM'10, 2010.

I. Simon, Limited subsets of a free monoid, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978), p.143150, 1978.
DOI : 10.1109/SFCS.1978.21

F. Baccelli, G. Cohen, G. Jan-olsder, and J. Quadrat, Synchronization and Linearity an Algebra for Discrete Event Systems, 2001.

M. Gondran, Alg??bre lin??aire et cheminement dans un graphe, Revue fran??aise d'automatique, informatique, recherche op??rationnelle. Recherche op??rationnelle, vol.9, issue.V1, p.7799, 1975.
DOI : 10.1051/ro/197509V100771
URL : http://archive.numdam.org/article/RO_1975__9_1_77_0.pdf

G. Cohen, S. Gaubert, and J. Quadrat, L'algèbre des sandwichs, Pour la Science, issue.328, p.5663, 2005.

R. Cuninghame-green, Lecture notes in economics and mathematical systems, 1979.

M. Andersen, Max-plus algebra : properties and applications, Projet de Master en Mathématiques, 2002.

A. Nowak, The tropical eigenvalue-vector problem from algebraic, graphical, and computational perspectives, 2014. Honors Theses (Paper 97)

L. Houssin, Cyclic jobshop problem and (max, plus) algebra, World IFAC Congress, p.27172721, 2011.
DOI : 10.3182/20110828-6-IT-1002.03095
URL : https://hal.archives-ouvertes.fr/hal-00667948

M. Akian, S. Gaubert, and A. Guterman, Tropical polyhedra are equivalent to mean payo games, International Journal of Algebra and Computation, vol.22, issue.1, pp.10-1142, 2012.

L. Houssin, S. Lahaye, and J. Boimond, -lin??aires, Journal Europ??en des Syst??mes Automatis??s, vol.39, issue.1-3, pp.1-3, 2005.
DOI : 10.3166/jesa.39.335-350
URL : https://hal.archives-ouvertes.fr/hal-00859262

Z. Königsberg, Modeling, analysis and timetable design of a helicopter maintenance process based on timed event petri nets and max-plus algebra, Neural, Parallel & Scientic Computations, vol.18, issue.1, p.112, 2010.

T. L. Turocy and B. V. Stengel, Game theory. Encyclopedia of Information Systems, p.403420, 2003.

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2006.
DOI : 10.1007/978-1-4757-4070-7

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.294, pp.18323510-1016, 1994.

B. Bérard, An Introduction to Timed Automata, Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, p.169187, 2013.
DOI : 10.1007/978-1-4471-4276-8_9

Y. Abdeddaim, A. Kerbaa, and O. Maler, Task graph scheduling using timed automata, Proceedings International Parallel and Distributed Processing Symposium, 2003.
DOI : 10.1109/IPDPS.2003.1213431
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.6370

Y. Abdeddaim and O. Maler, Job-shop scheduling using timed automata Computer Aided Verication, Lecture Notes in Computer Science, vol.2102, pp.478492-478502, 2001.

K. T. Seow, M. Gai, and T. L. Lim, A temporal logic specication interface for automata-theoretic nitary control synthesis, Proceedings of the 2005 IEEE International Conference on Robotics and Automation -ICRA. IEEE. DOI : 10.1109/ROBOT.2005.1570178, 2005.

M. Wang, Y. Qian, and X. Guang, Improved calculation method of shortest path with cellular automata model, Kybernetes, vol.41, issue.3/4, pp.508-517, 2012.
DOI : 10.1016/0895-7177(96)00006-4

F. Seredynski and A. Y. Zomaya, Sequential and parallel cellular automata-based scheduling algorithms, IEEE Transactions on Parallel and Distributed Systems, vol.13, issue.10, pp.1009-1023, 2002.
DOI : 10.1109/TPDS.2002.1041877

S. Gaubert, Performance evaluation of (max,+) automata, IEEE Transactions on Automatic Control, vol.40, issue.12, p.20142025, 1995.
DOI : 10.1109/9.478227

S. Lahaye, J. Komenda, and J. Boimond, Modélisation modulaire à l'aide d'automates (max,+)

S. Lahaye, J. Komenda, and J. Boimond, Compositions of (max,+) automata. Discrete Event Dynamic Systems, pp.10-1007, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00846353

J. Komenda, S. Lahaye, and J. Boimond, Supervisory Control of (max,+) Automata: A Behavioral Approach, Discrete Event Dynamic Systems, vol.77, issue.11, p.525549, 2009.
DOI : 10.1007/s10626-009-0083-6
URL : https://hal.archives-ouvertes.fr/hal-00858689

J. Komenda, S. Lahaye, and J. Boimond, Le produit synchrone des automates (max,+) Special Issue of, Journal Européen des Systèmes Automatisés -JESA, vol.43, pp.7-910331047, 2009.

S. G. Ponnambalam, N. Jawahar, and B. S. Girish, An ant colony optimization algorithm for exible job shop scheduling problem Available from : http ://www.intechopen.com/books/new-advanced-technologies, New Advanced Technologies, 2010.

P. Udhayakumar and S. Kumanan, Integrated scheduling of exible manufacturing system using evolutionary algorithms, International Journal of Advanced Manufacturing Technologies, vol.61, issue.5, pp.170-181

H. Pierreval and L. Tautou, Using evolutionary algorithms and simulation for the optimization of manufacturing systems, IIE Transactions, vol.29, issue.3, p.181189, 1997.
DOI : 10.1016/0360-8352(92)90014-B

M. Basseur, E. Talbi, A. Nebro, and E. Alba, Metaheuristics for multiobjective combinatorial optimization problems : Review and recent issues, Institut National de Recherche en Informatique et en Automatique, 2006.

K. F. Man, K. S. Tang, and S. Kwong, Genetic algorithms : Concepts and applications, IEEE Transactions on Industrial Electronics, vol.43, issue.5, p.519534, 1996.
DOI : 10.1007/978-1-4471-0577-0

M. Gen, Springer Handbook of Engineering Statistics : Genetic Algorithms and Their Applications, 2006.

P. R. Srivastava and T. Kim, Application of genetic algorithm in software testing. International journal of software engineering and its applications, p.8795, 2009.

M. Ehrgott, Multicriteria Optimization, 2005.
DOI : 10.1007/978-3-662-22199-0

E. Zitzler, M. Laumanns, and S. Bleuler, A Tutorial on Evolutionary Multiobjective Optimization, Metaheuristics for Multiobjective Optimisation, p.337, 2004.
DOI : 10.1007/978-3-642-17144-4_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4172

C. Coello, G. Lamont, and D. Van-veldhuizen, Evolutionary algorithms for solving multiobjective problems, Genetic and Evolutionary Computation, 2007.

A. Ghosh and S. Dehuri, Evolutionary algorithms for multi-criterion optimization : a survey, International Journal of Computing Information Sciences, vol.2, issue.1, p.3857, 2004.

A. Berro, Optimisation multiobjectif et stratégies d'évolution en environnement dynamique, Thèse Doctorale (Chapitre 2). Université des Sciences Sociales, 2001.

E. Zitzler, M. Laumanns, and L. Thiele, SPEA2 : Improving the Strength Pareto Evolutionary Algorithm for Multiobjective Optimization, Evolutionary Methods for Design, Optimisation and Control with Application to Industrial Problems International Center for Numerical Methods in Engineering (CIMNE), p.95100, 2001.

J. M. Pangilinan and G. K. Janssens, Evolutionary algorithms for the multiobjective shortest path planning problem, International journal of computer and information science and engineering, p.5459, 2007.

K. Quintero, E. Niel, J. Aguilar, and L. Piétrac, (max, +) optimization model for scheduling operations in a ow network with preventive maintenance tasks, Lecture Notes in Engineering and Computer Science : Proceedings of The World Congress on Engineering and Computer Science, p.10361041, 2013.

S. Gaubert, Methods and applications of (max,+) linear algebra, Lecture Notes in Computer Science, 1997.
DOI : 10.1007/BFb0023465
URL : https://hal.archives-ouvertes.fr/inria-00073603

K. Quintero, E. Niel, J. Aguilar, and L. Piétrac, Scheduling operations in a ow network with exible preventive maintenance : A (max, +) approach. Engineering Letters, p.2433, 2014.

E. Cabau, Introduction à la conception de la sûreté, 1999.

W. J. Moore and A. G. Starr, An intelligent maintenance system for continuous cost-based prioritisation of maintenance activities. Computers in Industry -Special issue : E-maintenance, p.595606, 2006.

K. Quintero, Capacité de reconguration dans les réseaux de pipelines, 2010.

K. Quintero, E. Niel, J. Aguilar, and L. Piétrac, A Cost-Criticality Based (Max, +) Optimization Model for Operations Scheduling, Transactions on Engineering Technologies, 2015.
DOI : 10.1007/978-94-017-9115-1_47

K. Quintero, E. Niel, and J. Aguilar, (max,+) model for alignment selection and schedule optimization in a ow network, 12th International Conference of Numerical Analysis and Applied Mathematics, 2014.

C. Lin, C. Huang, and C. Tsai, Structure-specied real coded genetic algorithms with applications. Advanced Knowledge Based Systems : Model, Applications & Research, vol.1, p.160187, 2010.

Ô. Yeniay, Penalty Function Methods for Constrained Optimization with Genetic Algorithms, Mathematical and Computational Applications, vol.10, issue.3, p.4556, 2005.
DOI : 10.3390/mca10010045
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.8624

L. Daviaud, Comportements asymptotiques des automates max-plus et min-plus, 2014, Thèse doctorale

T. Colcombet and L. Daviaud, Approximate comparison of distance automata, STACS 2013 -30th International Symposium on Theoretical Aspects of Computer Science, pp.574-585, 2013.
DOI : 10.1007/s00224-015-9643-3
URL : https://hal.archives-ouvertes.fr/hal-00712771

M. Kammoun, Z. Achour, and N. Rezg, Air trac management using petri net synthesis toolsEvaluation and optimization of innovative production systems of goods and services, 8th International Conference of Modeling and Simulation -MOSIM'10, 2010.