E. Badouel, A. Bouillard, P. Darondeau, and J. Komenda, Residuation of tropical series: Rationality issues, IEEE Conference on Decision and Control and European Control Conference, 2011.
DOI : 10.1109/CDC.2011.6160228
URL : https://hal.archives-ouvertes.fr/inria-00567390

M. Béal, E. Czeizler, J. Kari, and D. Perrin, Unambiguous Automata, Mathematics in Computer Science, vol.1, issue.4, pp.625-638, 2008.
DOI : 10.1007/s11786-007-0027-1

R. Boukra, S. Lahaye, and J. Boimond, New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems, Discrete Event Dynamic Systems, vol.47, issue.10, pp.295-322, 2015.
DOI : 10.1007/s10626-013-0178-y
URL : https://hal.archives-ouvertes.fr/hal-00967973

S. Gaubert, Théorie des systèmes linéaires dans les dio¨?desdio¨?des, Thèse de doctorat, 1992.

S. Gaubert, Performance evaluation of (max,+) automata, IEEE Transactions on Automatic Control, vol.40, issue.12, pp.2014-2025, 1995.
DOI : 10.1109/9.478227

S. Gaubert and J. Mairesse, Asymptotic analysis of heaps of pieces and application to timed Petri nets, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), pp.158-169, 1999.
DOI : 10.1109/PNPM.1999.796562

S. Gaubert and J. Mairesse, Modeling and analysis of timed Petri nets using heaps of pieces, IEEE Transactions on Automatic Control, vol.44, issue.4, pp.683-698, 1999.
DOI : 10.1109/9.754807
URL : https://hal.archives-ouvertes.fr/hal-00165813

D. Kirsten, A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata, RAIRO - Theoretical Informatics and Applications, vol.42, issue.3, pp.553-581, 2008.
DOI : 10.1051/ita:2008017

I. Klimann, S. Lombardy, J. Mairesse, and C. Prieur, Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton, Theoretical Computer Science, vol.327, issue.3, 2004.
DOI : 10.1016/j.tcs.2004.02.049
URL : https://hal.archives-ouvertes.fr/hal-00174171

J. Komenda, S. Lahaye, and J. Boimond, Supervisory Control of (max,+) Automata: A Behavioral Approach, Discrete Event Dynamic Systems, vol.77, issue.11, pp.525-549, 2009.
DOI : 10.1007/s10626-009-0083-6
URL : https://hal.archives-ouvertes.fr/hal-00858689

S. Lahaye, J. Komenda, and J. Boimond, Compositions of (max, +) automata. Discrete Event Dynamic Systems, pp.323-344, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00846353

S. Lombardy and J. Sakarovitch, Sequential ? TCS, pp.224-244, 2006.

M. Mohri, Finite-state transducers in language and speech processing, Comp. Lingu, vol.23, pp.269-311, 1997.

M. Mohri, Weighted Automata Algorithms, Handbook of weighted automata, 2011.
DOI : 10.1007/978-3-642-01492-5_6

R. Su and G. J. Woeginger, String execution time for finite languages: Max is easy, min is hard, Automatica, vol.47, issue.10, pp.472326-2329, 2011.
DOI : 10.1016/j.automatica.2011.06.024