A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Petri nets compositional modelling and verification of flexible manufacturing systems, Proceeding of the 7th Conference on Automation Science and Engineering, 2011. ,
DOI : 10.1109/case.2011.6042488
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BDDHP-case11.pdf
Production scheduling by reachability analysis -a case study, International Parallel and Distributed Processind Symposium, 2005. ,
DOI : 10.1109/ipdps.2005.363
URL : http://www.cs.kun.nl/ita/publications/papers/martijnh/AXXOM/WPDRTS05.pdf
A Tutorial on Uppaal, Proc. Formal Methods for the Design of Real-Time Systems, number 3185 in Lecture Notes in Computer Science, pp.200-236, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
Flexibility and Robustness in Scheduling, ISTE, 2010. ,
DOI : 10.1002/9780470611432
URL : https://hal.archives-ouvertes.fr/hal-00445442
Introduction to discrete event systems, second edition, 2008. ,
Uppaal SMC tutorial, International Journal on Software Tools for Technology Transfer, vol.16, issue.2, pp.397-415, 2015. ,
DOI : 10.1007/978-0-387-34878-0_18
Gestion de la production et des flux: avec CD livré electronique+ Logiciels+ Animations, Economica, 2003. ,
Modeling Flexible Workshops Scheduling problems: evaluating a Timed Automata based approach vs MILP, 20th World Congress of the International Federation of Automatic Control, 2017. ,
DOI : 10.1016/j.ifacol.2017.08.346
URL : https://hal.archives-ouvertes.fr/hal-01565631
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. ,
Stochastic Petri nets -An Introduction to the theory, 2002. ,
Performance analysis of probabilistic timed automata using digital clocks. Formal Methods in System Design, 2006. ,
DOI : 10.1007/s10703-006-0005-2
Ordonnancement d'ateliersàateliers`ateliersà partir de patrons de modélisation basés sur des automates communicants, 11th International Conference on Modeling, Optimization and Simulation, 2016. ,
Scheduling and planning with timed automata, 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering, pp.1973-1978, 2006. ,
DOI : 10.1016/S1570-7946(06)80337-8
Stochastic automata network of modeling parallel systems, IEEE Transactions on Software Engineering, vol.17, issue.10, pp.1093-1108, 1991. ,
DOI : 10.1109/32.99196
The numerical solution of stochastic automata networks, European Journal of Operational Research, vol.86, issue.3, 1995. ,
DOI : 10.1016/0377-2217(94)00075-N
Short-term scheduling of multi-product batch plants with sequencedependent changeovers using timed automata models, 20th European Symposium on Computer Aided Process Engineering, number 28, pp.1201-1206, 2010. ,