R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

URL : https://doi.org/10.1016/0304-3975(94)90010-8

G. Behrmann, E. Brinksma, M. , M. H. Mader, and A. , Production scheduling by reachability analysis -a case study, International Parallel and Distributed Processing Symposium, pp.140-147, 2005.
DOI : 10.1109/ipdps.2005.363

URL : http://www.cs.kun.nl/ita/publications/papers/martijnh/AXXOM/WPDRTS05.pdf

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 2000.

B. Edmonds, Syntactic Measures of Complexity, 1999.

J. Gaffuri, Trois exemples d'adaptation d'un modèle générique de déformation en généralisation cartographique, 2009.

M. Garey, D. Johmson, and R. Sethi, The Complexity of Flowshop and Jobshop Scheduling, Mathematics of Operations Research, vol.1, issue.2, pp.117-129, 1976.
DOI : 10.1287/moor.1.2.117

R. Graham, E. Lawler, J. Lenstra, and A. R. Kan, Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey, Proceedings of the Advanced Research Institute on Discrete Optimization and Systems Applications of the Systems Science Panel of NATO and of the Discrete Optimization Symposium, pp.287-326, 1979.
DOI : 10.1016/S0167-5060(08)70356-X

M. D. Hill, What is scalability?, ACM SIGARCH Computer Architecture News, vol.18, issue.4, pp.18-21, 1990.
DOI : 10.1145/121973.121975

A. Kobetski and M. Fabian, Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming Journal of Discrete-Event Dynamic Systems, Theory and Applications, vol.19, issue.3, pp.287-315, 2009.

P. Marangé, A. Aubry, and J. F. And-pétin, Ordonnancement d'ateliersàateliersà partir de patrons de modlisation bass sur les automates communicants, 11th International Conference on Modeling, Optimization and SIMulation, MOSIM'2016, 2016.

M. Rajkumar, P. Asokan, and V. Vamsikrishna, A GRASP algorithm for flexible job-shop scheduling with maintenance constraints, International Journal of Production Research, vol.48, issue.22, pp.6821-6836, 2010.
DOI : 10.1080/00207540903308969