{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T13:25:02Z","timestamp":1769520302807,"version":"3.49.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T00:00:00Z","timestamp":1580256000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T00:00:00Z","timestamp":1580256000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s10626-019-00309-6","type":"journal-article","created":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T02:02:33Z","timestamp":1580263353000},"page":"155-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A contribution to the determinization of max-plus automata"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8386-8803","authenticated-orcid":false,"given":"S\u00e9bastien","family":"Lahaye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aiwen","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Komenda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Louis","family":"Boimond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,29]]},"reference":[{"key":"309_CR1","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1142\/S0218196711006674","volume":"22","author":"M Akian","year":"2012","unstructured":"Akian M, Gaubert S, Guterman A (2012) Tropical polyhedra are equivalent to mean payoff games. Int J Algebr Comput 22:12","journal-title":"Int J Algebr Comput"},{"key":"309_CR2","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s00454-012-9469-6","volume":"49","author":"X Allamigeon","year":"2013","unstructured":"Allamigeon X, Gaubert S, Goubault E (2013) Computing the vertices of tropical polyhedra using directed hypergraphs. Discret Comput Geom 49:247\u2013279","journal-title":"Discret Comput Geom"},{"key":"309_CR3","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.tcs.2013.02.005","volume":"480","author":"B Aminof","year":"2013","unstructured":"Aminof B, Kupferman O, Lampert R (2013) Rigorous approximated determinization of weighted automata. Theor Comput Sci 480:104\u2013117","journal-title":"Theor Comput Sci"},{"key":"309_CR4","unstructured":"Baccelli F, Cohen G, Olsder G-J, Quadrat J-P (1992) Synchronization and Linearity. Wiley"},{"key":"309_CR5","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11753728_9","volume-title":"Computer Science \u2013 Theory and Applications","author":"Marie-Pierre B\u00e9al","year":"2006","unstructured":"B\u00e9al M-P, Lombardy S, Sakarovitch J, Harrison J, Hirsch EA (2006) Conjugacy and equivalence of weighted automata and functional transducers. In: Grigoriev D (ed) Computer Science \u2013 Theory and Applications. Springer, Berlin, pp 58\u201369"},{"key":"309_CR6","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.tcs.2014.02.032","volume":"534","author":"N Damljanovi\u0107","year":"2014","unstructured":"Damljanovi\u0107 N, \u0106iri\u0107 M, Ignjatovi\u0107 J (2014) Bisimulations for weighted automata over an additively idempotent semiring. Theor Comput Sci 534:86\u2013100","journal-title":"Theor Comput Sci"},{"key":"309_CR7","unstructured":"Daviaud L, Guillon P, Merlet G (2016) Comparison of max-plus automata and joint spectral radius of tropical matrices. CoRR, arXiv:1612.02647"},{"key":"309_CR8","doi-asserted-by":"crossref","unstructured":"Droste M, Kuich W, Vogler H (2009) Handbook of weighted automata. Springer Publishing Company, Incorporated","DOI":"10.1007\/978-3-642-01492-5"},{"key":"309_CR9","doi-asserted-by":"crossref","unstructured":"Filiot E, Jecker I, Lhote N, P\u00e9rez GA, Raskin J-F (2017) On delay and regret determinization of max-plus automata. In: Proceedings of Symposium on Logic in Computer Science (LICS)","DOI":"10.1109\/LICS.2017.8005096"},{"issue":"12","key":"309_CR10","first-page":"2014","volume":"40","author":"S Gaubert","year":"1995","unstructured":"Gaubert S (1995) Performance evaluation of (max,+) automata. IEEE TAC 40 (12):2014\u20132025","journal-title":"IEEE TAC"},{"key":"309_CR11","doi-asserted-by":"crossref","unstructured":"Gaubert S, Mairesse J (1999) Asymptotic analysis of heaps of pieces and application to timed Petri nets. In: Proceedings of Petri Nets and Performance Models, pp 158\u2013169","DOI":"10.1109\/PNPM.1999.796562"},{"issue":"3","key":"309_CR12","first-page":"553","volume":"42","author":"D Kirsten","year":"2008","unstructured":"Kirsten D (2008) A burnside approach to the termination of Mohri\u2019s algorithm for polynomially ambiguous min-plus-automata. RAIRO - TIA 42(3):553\u2013581","journal-title":"RAIRO - TIA"},{"key":"309_CR13","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-55719-9_67","volume":"623","author":"D Krob","year":"1992","unstructured":"Krob D (1992) The equality problem for rational series with multiplicities in the tropical semiring is undecidable. Lect Notes Comput Sci 623:101\u2013112. Springer","journal-title":"Lect Notes Comput Sci"},{"key":"309_CR14","unstructured":"Lahaye S, Komenda J, Boimond J-L (2015) Am\u00e9lioration de la proc\u00e9dure de d\u00e9terminisation des automates (max,+). In: Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs, Nancy"},{"issue":"12","key":"309_CR15","doi-asserted-by":"publisher","first-page":"2523","DOI":"10.1080\/00207179.2015.1048295","volume":"88","author":"S Lahaye","year":"2015","unstructured":"Lahaye S, Komenda J, Boimond J-L (2015) Supervisory control of (max,+) automata: extensions towards applications. Int J Control 88(12):2523\u20132537","journal-title":"Int J Control"},{"key":"309_CR16","unstructured":"Lahaye S, Lai A, Komenda J (2017) Contribution \u00e0 la d\u00e9terminisation des automates max-plus. In: Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs, Marseille"},{"key":"309_CR17","doi-asserted-by":"crossref","unstructured":"Lombardy S, Mairesse J (2006) Series which are both max-plus and min-plus rational are unambiguous. RAIRO - Theoretical Informatics and Applications, 40","DOI":"10.1051\/ita:2005042"},{"issue":"1-2","key":"309_CR18","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1016\/j.tcs.2006.01.028","volume":"359","author":"S Lombardy","year":"2006","unstructured":"Lombardy S, Sakarovitch J (2006) Sequential?. TCS 359(1-2):224\u2013244","journal-title":"TCS"},{"key":"309_CR19","first-page":"269","volume":"23","author":"M Mohri","year":"1997","unstructured":"Mohri M (1997) Finite-state transducers in language and speech processing. Comp Lingu 23:269\u2013311","journal-title":"Comp Lingu"},{"key":"309_CR20","doi-asserted-by":"crossref","unstructured":"Sakarovitch J (2009) Elements of automata theory. Cambridge University Press","DOI":"10.1017\/CBO9781139195218"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00309-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-019-00309-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00309-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,28]],"date-time":"2021-01-28T00:15:25Z","timestamp":1611792925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-019-00309-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,29]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["309"],"URL":"https:\/\/doi.org\/10.1007\/s10626-019-00309-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,29]]},"assertion":[{"value":"6 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 December 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}