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

P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N. Pekergin, 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

G. Behrmann, E. Brinksma, M. Hendriks, and A. Mader, 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

G. Behrmann, A. David, and K. G. Larsen, 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

J. Billaut, A. Moukrim, and E. Sanlaville, Flexibility and Robustness in Scheduling, ISTE, 2010.
DOI : 10.1002/9780470611432

URL : https://hal.archives-ouvertes.fr/hal-00445442

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, second edition, 2008.

A. David, G. Kim, A. Larsen, M. Legay, D. B. Miku?ionis et al., 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

V. Giard, Gestion de la production et des flux: avec CD livré electronique+ Logiciels+ Animations, Economica, 2003.

S. Himmiche, A. Aubry, P. Marangé, and J. Pétin, 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

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. S. Kritzinger and F. Bause, Stochastic Petri nets -An Introduction to the theory, 2002.

M. Kwiatkowska, G. Norman, D. Parker, and J. Sproston, Performance analysis of probabilistic timed automata using digital clocks. Formal Methods in System Design, 2006.
DOI : 10.1007/s10703-006-0005-2

P. Marangé, A. Aubry, and J. Pétin, 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.

S. Panek, S. Engell, and O. Stursberg, 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

B. Plateau and K. Atif, 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

W. J. Stewart, K. Atif, and B. Plateau, 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

S. Subbiah and S. Engell, 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.