{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T13:33:29Z","timestamp":1785418409226,"version":"3.56.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T00:00:00Z","timestamp":1709337600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T00:00:00Z","timestamp":1709337600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100016047","name":"Science Fund of the Republic of Serbia","doi-asserted-by":"crossref","award":["7750185 - QUAM"],"award-info":[{"award-number":["7750185 - QUAM"]}],"id":[{"id":"10.13039\/501100016047","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004564","name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja","doi-asserted-by":"publisher","award":["451-03-68\/2022-14\/200124"],"award-info":[{"award-number":["451-03-68\/2022-14\/200124"]}],"id":[{"id":"10.13039\/501100004564","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1007\/s10626-024-00395-1","type":"journal-article","created":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T09:02:08Z","timestamp":1709370128000},"page":"269-295","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Simulations and bisimulations for max-plus automata"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8625-4682","authenticated-orcid":false,"given":"Miroslav","family":"\u0106iri\u0107","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3816-9464","authenticated-orcid":false,"given":"Ivana","family":"Mici\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0490-259X","authenticated-orcid":false,"given":"Jelena","family":"Mateji\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2274-839X","authenticated-orcid":false,"given":"Aleksandar","family":"Stamenkovi\u0107","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,3,2]]},"reference":[{"key":"395_CR1","volume-title":"Synchronization and linearity","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder G, Quadrat J (1992) Synchronization and linearity. Wiley, Chichester"},{"key":"395_CR2","doi-asserted-by":"publisher","first-page":"3506","DOI":"10.1016\/j.dam.2008.03.016","volume":"156","author":"M Bezem","year":"2008","unstructured":"Bezem M, Nieuwenhuis R, Rodr\u00edguez-Carbonell E (2008) Exponential behaviour of the Butkovic\u2013Zimmermann algorithm for solving two-sided linear systems in max-algebra. Discret Appl Math 156:3506\u20133509","journal-title":"Discret Appl Math"},{"key":"395_CR3","first-page":"116","volume":"45:29","author":"R Boukra","year":"2012","unstructured":"Boukra R, Lahaye S, Boimond J-L (2012) New representations for (max,+) automata with applications to the performance evaluation of discrete event systems. IFAC PapersOnLine 45:29:116\u2013121","journal-title":"IFAC PapersOnLine"},{"key":"395_CR4","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/j.dam.2005.09.008","volume":"154","author":"P Butkovi\u010d","year":"2006","unstructured":"Butkovi\u010d P, Zimmermann K (2006) A strongly polynomial algorithm for solving two-sided linear systems in max-algebra. Discret Appl Math 154:437\u2013446","journal-title":"Discret Appl Math"},{"key":"395_CR5","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.fss.2011.07.003","volume":"186","author":"M \u0106iri\u0107","year":"2012","unstructured":"\u0106iri\u0107 M, Ignjatovi\u0107 J, Damljanovi\u0107 N, Ba\u0161i\u0107 M (2012a) Bisimulations for fuzzy automata. Fuzzy Sets Syst 186:100\u2013139","journal-title":"Fuzzy Sets Syst"},{"key":"395_CR6","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.fss.2012.05.006","volume":"208","author":"M \u0106iri\u0107","year":"2012","unstructured":"\u0106iri\u0107 M, Ignjatovi\u0107 J, Jan\u010di\u0107 I, Damljanovi\u0107 N (2012b) Computation of the greatest simulations and bisimulations between fuzzy automata. Fuzzy Sets Syst 208:22\u201342","journal-title":"Fuzzy Sets Syst"},{"key":"395_CR7","doi-asserted-by":"publisher","unstructured":"\u0106iri\u0107 M, Ignjatovi\u0107 J, Stanimirovi\u0107 P (2022) Bisimulations for weighted finite automata over semirings. Research Square, 19 Dec 2022. https:\/\/doi.org\/10.21203\/rs.3.rs-2386298\/v1","DOI":"10.21203\/rs.3.rs-2386298\/v1"},{"key":"395_CR8","doi-asserted-by":"crossref","unstructured":"Colcombet T, Daviaud L, Zuleger F (2014) Size-change abstraction and max-plus automata. In: Csuhaj-Varj\u00fa E, Dietzfelbinger M, \u00c9sik Z (eds), Mathematical foundations of computer science \u2013 MFCS 2014. Lecture Notes in Computer Science, vol 8634, pp 208\u2013219","DOI":"10.1007\/978-3-662-44522-8_18"},{"key":"395_CR9","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. Theoret Comput Sci 534:86\u2013100","journal-title":"Theoret Comput Sci"},{"key":"395_CR10","unstructured":"Daviaud L, Guillon P, Merlet G (2017) Comparison of max-plus automata and joint spectral radius of tropical matrices. In: Larsen KG, Bodlaender HL, Raskin J-F (eds) 42nd International symposium on mathematical foundations of computer science (MFCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), vol 83, pp 19:1\u201319:14"},{"key":"395_CR11","doi-asserted-by":"crossref","unstructured":"Droste M, Kuich W, Vogler H (eds) (2009) Handbook of Weighted Automata. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag","DOI":"10.1007\/978-3-642-01492-5"},{"issue":"12","key":"395_CR12","doi-asserted-by":"publisher","first-page":"2014","DOI":"10.1109\/9.478227","volume":"40","author":"S Gaubert","year":"1995","unstructured":"Gaubert S (1995) Performance evaluation of (max,+) automata. IEEE Trans Autom Control 40(12):2014\u20132025","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"395_CR13","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1109\/9.754807","volume":"44","author":"S Gaubert","year":"1999","unstructured":"Gaubert S, Mairesse J (1999) Modeling and analysis of timed petri nets using heaps of pieces. IEEE Transaction on Automatic Control 44(4):683\u2013698","journal-title":"IEEE Transaction on Automatic Control"},{"key":"395_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9333-5","volume-title":"Semirings and their Applications","author":"J Golan","year":"1999","unstructured":"Golan J (1999) Semirings and their Applications. Springer, Dordrecht"},{"issue":"4","key":"395_CR15","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/s10626-009-0083-6","volume":"19","author":"J Komenda","year":"2009","unstructured":"Komenda J, Lahaye S, Boimond J-L (2009) Supervisory control of (max,+) automata: a behavioral approach. Discrete Event Dynamic Systems 19(4):525\u2013549","journal-title":"Discrete Event Dynamic Systems"},{"key":"395_CR16","doi-asserted-by":"publisher","first-page":"1784","DOI":"10.1016\/j.ifacol.2017.08.163","volume":"50\u20131","author":"J Komenda","year":"2017","unstructured":"Komenda J, Lahaye S, Boimond J-L, van den Boom T (2017) Max-Plus algebra and discrete event systems. IFAC PapersOnLine 50\u20131:1784\u20131790","journal-title":"IFAC PapersOnLine"},{"key":"395_CR17","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1016\/j.ifacol.2018.06.300","volume":"51\u20137","author":"J Komenda","year":"2018","unstructured":"Komenda J, Lahaye S, Boimond J-L (2018a) (Max,+)-automata with partial observations. IFAC PapersOnLine 51\u20137:192\u2013197","journal-title":"IFAC PapersOnLine"},{"key":"395_CR18","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1016\/j.arcontrol.2018.04.004","volume":"45","author":"J Komenda","year":"2018","unstructured":"Komenda J, Lahaye S, Boimond J-L, van den Boom T (2018b) Max-plus algebra in the history of discrete event systems. Annu Rev Control 45:240\u2013249","journal-title":"Annu Rev Control"},{"key":"395_CR19","doi-asserted-by":"publisher","first-page":"471","DOI":"10.3182\/20140514-3-FR-4046.00091","volume":"47\u20132","author":"S Lahaye","year":"2014","unstructured":"Lahaye S, Komenda J, Boimond J-L (2014) Modeling of timed Petri nets using deterministic (max,+) automata. IFAC Proceedings Volumes 47\u20132:471\u2013476","journal-title":"IFAC Proceedings Volumes"},{"key":"395_CR20","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s10626-014-0186-6","volume":"25","author":"S Lahaye","year":"2015","unstructured":"Lahaye S, Komenda J, Boimond J-L (2015) Compositions of (max,+) automata. Discrete Event Dyn Syst 25:323\u2013344","journal-title":"Discrete Event Dyn Syst"},{"key":"395_CR21","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10626-019-00309-6","volume":"30","author":"S Lahaye","year":"2020","unstructured":"Lahaye S, Lai A, Komenda J, Boimond J-L (2020) A contribution to the determinization of max-plus automata. Discrete Event Dynamic Systems 30:155\u2013174","journal-title":"Discrete Event Dynamic Systems"},{"key":"395_CR22","doi-asserted-by":"publisher","unstructured":"Nguyen LA, Mici\u0107 I, Stanimirovi\u0107 S (2023) Depth-bounded fuzzy simulations and bisimulations between fuzzy automata. Fuzzy Sets Syst 473:108729. https:\/\/doi.org\/10.1016\/j.fss.2023.108729","DOI":"10.1016\/j.fss.2023.108729"},{"key":"395_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10626-021-00342-4","volume":"32","author":"A Stamenkovi\u0107","year":"2022","unstructured":"Stamenkovi\u0107 A, \u0106iri\u0107 M, Djurdjanovi\u0107 D (2022) Weakly linear systems for matrices over the max-plus quantale. Discrete Event Dynamic Systems 32:1\u201325","journal-title":"Discrete Event Dynamic Systems"},{"issue":"2\u20134","key":"395_CR24","first-page":"341","volume":"39","author":"M Stankovi\u0107","year":"2022","unstructured":"Stankovi\u0107 M, \u0106iri\u0107 M, Ignjatovi\u0107 J (2022) Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras. Journal of Multiple-Valued Logic and Soft Computing 39(2\u20134):341\u2013379","journal-title":"Journal of Multiple-Valued Logic and Soft Computing"},{"key":"395_CR25","first-page":"3335","volume":"37:11","author":"I Stankovi\u0107","year":"2023","unstructured":"Stankovi\u0107 I, \u0106iri\u0107 M, Ignjatovi\u0107 J (2023a) Bisimulations for weighted networks with weights in a quantale. Filomat 37:11:3335\u20133355","journal-title":"Filomat"},{"key":"395_CR26","doi-asserted-by":"publisher","first-page":"711","DOI":"10.2298\/FIL2303711S","volume":"37:3","author":"M Stankovi\u0107","year":"2023","unstructured":"Stankovi\u0107 M, \u0106iri\u0107 M, Ignjatovi\u0107 J (2023b) Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras. Filomat 37:3:711\u2013743","journal-title":"Filomat"},{"key":"395_CR27","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.ic.2016.03.007","volume":"252","author":"N Urabe","year":"2017","unstructured":"Urabe N, Hasuo I (2017) Quantitative simulations by matrices. Inf Comput 252:110\u2013137","journal-title":"Inf Comput"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00395-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-024-00395-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-024-00395-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T17:50:03Z","timestamp":1716918603000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-024-00395-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,2]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["395"],"URL":"https:\/\/doi.org\/10.1007\/s10626-024-00395-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,2]]},"assertion":[{"value":"1 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest statement"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}