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, HASL: an Expressive Language for Statistical Verification of Stochastic Models, Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, 2011.
DOI : 10.4108/icst.valuetools.2011.245710
URL : https://hal.archives-ouvertes.fr/hal-01113442

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

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

C. Daws, M. Kwiatkowska, and G. Norman, Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM, International Journal on Software Tools for Technology Transfer, vol.est, issue.1+2, pp.221-236, 2004.
DOI : 10.1109/SFCS.1985.12

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

S. Himmiche, 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.

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

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

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp.200-204, 2002.
DOI : 10.1007/3-540-46029-2_13

P. Marangé, J. Pétin, A. Manceaux, and D. Gouyon, Contribution ?? la reconfiguration des syst??mes de production, Journal Europ??en des Syst??mes Automatis??s, vol.45, issue.1-3, pp.45-60, 2011.
DOI : 10.3166/jesa.45.45-60

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 networks for modelling parallel systems, Reo Project, 1991.

. Correa-de and . Sales, Réseaux d'automates stochastiques: Génération de l'espace d'´ etats atteignables et multiplication vecteur-descripteur pour une sémantique en temps discret, 2009.

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.