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
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
Model Checking, 2000. ,
Syntactic Measures of Complexity, 1999. ,
Trois exemples d'adaptation d'un modèle générique de déformation en généralisation cartographique, 2009. ,
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
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
What is scalability?, ACM SIGARCH Computer Architecture News, vol.18, issue.4, pp.18-21, 1990. ,
DOI : 10.1145/121973.121975
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. ,
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. ,
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