{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:29:40Z","timestamp":1762324180569},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"14","license":[{"start":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T00:00:00Z","timestamp":1510185600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s00500-017-2913-z","type":"journal-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T09:22:46Z","timestamp":1510219366000},"page":"4535-4547","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Approximate bisimulation relations for fuzzy automata"],"prefix":"10.1007","volume":"22","author":[{"given":"Chao","family":"Yang","sequence":"first","affiliation":[]},{"given":"Yongming","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,9]]},"reference":[{"key":"2913_CR1","first-page":"125","volume":"15","author":"R B\u011blohl\u00e1vek","year":"2009","unstructured":"B\u011blohl\u00e1vek R, Krupka M (2009) Approximate minimization of fuzzy automata. J Mult Valued Log Soft Comput 15:125\u2013135","journal-title":"J Mult Valued Log Soft Comput"},{"key":"2913_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.tcs.2007.11.018","volume":"393","author":"P Buchholz","year":"2008","unstructured":"Buchholz P (2008) Bisimulation relations for weighted automata. Theor Comput Sci 393:109\u2013123","journal-title":"Theor Comput Sci"},{"key":"2913_CR3","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1109\/TFUZZ.2011.2117431","volume":"19","author":"YZ Cao","year":"2011","unstructured":"Cao YZ, Chen GQ, Kerre EE (2011) Bisimulations for fuzzy transition systems. IEEE Trans Fuzzy Syst 19:540\u2013552","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"2913_CR4","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1109\/TFUZZ.2012.2230177","volume":"21","author":"YZ Cao","year":"2013","unstructured":"Cao YZ, Sun SX, Wang H, Chen GQ (2013) A behavioral distance for fuzzy-transition systems. IEEE Trans Fuzzy Syst 21:735\u2013747","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"2913_CR5","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1016\/j.jcss.2009.10.015","volume":"76","author":"M \u0106iri\u0107","year":"2010","unstructured":"\u0106iri\u0107 M, Stamenkovi\u0107 A, Ignjatovi\u0107 J, Petkovi\u0107 T (2010) Fuzzy relation equations and reduction of fuzzy automata. J Comput Syst Sci 76:609\u2013633","journal-title":"J Comput Syst Sci"},{"key":"2913_CR6","doi-asserted-by":"crossref","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":"2913_CR7","doi-asserted-by":"crossref","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":"2913_CR8","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TFUZZ.2014.2310466","volume":"23","author":"WL Deng","year":"2015","unstructured":"Deng WL, Qiu DW (2015) Supervisory control of fuzzy discrete-event systems for simulation equivalence. IEEE Trans Fuzzy Syst 23:178\u2013192","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"2913_CR9","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1093\/logcom\/exq005","volume":"22","author":"PE Eleftheriou","year":"2012","unstructured":"Eleftheriou PE, Koutras CD, Nomikos C (2012) Notions of bisimulation for heyting-valued modal languages. J Log Comput 22:213\u2013235","journal-title":"J Log Comput"},{"key":"2913_CR10","doi-asserted-by":"crossref","first-page":"2387","DOI":"10.1109\/TFUZZ.2015.2426724","volume":"23","author":"TF Fan","year":"2015","unstructured":"Fan TF (2015) Fuzzy bisimulation for Godel modal logic. IEEE Trans Fuzzy Syst 23:2387\u20132396","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"2913_CR11","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.artint.2014.05.007","volume":"214","author":"TF Fan","year":"2014","unstructured":"Fan TF, Liau CJ (2014) Logical characterizations of regular equivalence in weighted social networks. Artif Intell 214:66\u201388","journal-title":"Artif Intell"},{"key":"2913_CR12","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s00165-016-0356-4","volume":"28","author":"LMF Fioriti","year":"2016","unstructured":"Fioriti LMF, Hashemi V, Hermanns H, Turrini A (2016) Deciding probabilistic automata weak bisimulation: theory and practice. Form Asp Comput 28:109\u2013143","journal-title":"Form Asp Comput"},{"key":"2913_CR13","doi-asserted-by":"crossref","first-page":"3539","DOI":"10.1016\/j.tcs.2009.03.022","volume":"410","author":"J H\u00f6gberg","year":"2009","unstructured":"H\u00f6gberg J, MALetti A, May J (2009) Backward and forward bisimulation minimisation of tree automata. Theor Comput Sci 410:3539\u20133552","journal-title":"Theor Comput Sci"},{"key":"2913_CR14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.fss.2013.10.006","volume":"249","author":"I Jan\u010di\u0107","year":"2014","unstructured":"Jan\u010di\u0107 I (2014) Weak bisimulations for fuzzy automata. Fuzzy Sets Syst 249:49\u201372","journal-title":"Fuzzy Sets Syst"},{"key":"2913_CR15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1142\/S0129054110007192","volume":"21","author":"O Kupferman","year":"2010","unstructured":"Kupferman O, Lustig Y (2010) Latticed simulation relations and games. Int J Found Comput Sci 21:167\u2013189","journal-title":"Int J Found Comput Sci"},{"key":"2913_CR16","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.ijar.2007.05.004","volume":"47","author":"YM Li","year":"2008","unstructured":"Li YM (2008) Approximation and robustness of fuzzy finite automata. Int J Approx Reason 47:247\u2013257","journal-title":"Int J Approx Reason"},{"key":"2913_CR17","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.fss.2005.04.004","volume":"156","author":"YM Li","year":"2005","unstructured":"Li YM, Pedrycz W (2005) Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets Syst 156:68\u201392","journal-title":"Fuzzy Sets Syst"},{"key":"2913_CR18","first-page":"1097","volume":"6","author":"YF Ma","year":"2013","unstructured":"Ma YF, Zhang M (2013) The infinite evolution mechnism of \n                        $$\\epsilon $$\n                        \n                            \n                                \u03f5\n                            \n                        \n                    -bisimularity. J Comput Sci Technol 6:1097\u20131105","journal-title":"J Comput Sci Technol"},{"key":"2913_CR19","doi-asserted-by":"crossref","unstructured":"Milner R (1980) A calculus of communicating systems. In: Goos G, Hartmanis J (eds) Lecture notes in computer science, vol 92. Springer","DOI":"10.1007\/3-540-10235-3"},{"key":"2913_CR20","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s12190-015-0877-7","volume":"50","author":"S Moghari","year":"2016","unstructured":"Moghari S, Zahedi MM (2016) Similarity-based minimization of fuzzy tree automata. J Appl Math Comput 50:417\u2013436","journal-title":"J Appl Math Comput"},{"key":"2913_CR21","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1016\/j.ijar.2013.11.009","volume":"55","author":"HY Pan","year":"2014","unstructured":"Pan HY, Cao YZ, Zhang M, Chen YX (2014) Simulation for lattice-valued doubly labeled transition systems. Int J Approx Reason 55:797\u2013811","journal-title":"Int J Approx Reason"},{"key":"2913_CR22","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.ijar.2014.10.001","volume":"56","author":"HY Pan","year":"2015","unstructured":"Pan HY, Li YM, Cao YZ (2015) Lattice-valued simulations for quantitative transition systems. Int J Approx Reason 56:28\u201342","journal-title":"Int J Approx Reason"},{"key":"2913_CR23","doi-asserted-by":"crossref","unstructured":"Park D (1981) Concurrency and automata on infinite sequence. In: Deussen P(ed) Proceedings of the 5th GI Conference, Karlsruhe, Germany, Lecture Notes in Computer Science, vol 104. Springer. pp 167\u2013183","DOI":"10.1007\/BFb0017309"},{"key":"2913_CR24","doi-asserted-by":"crossref","first-page":"3505","DOI":"10.1007\/s00500-015-1969-x","volume":"20","author":"M Shamizadeh","year":"2016","unstructured":"Shamizadeh M, Zahedi MM (2016) Intuitionistic general fuzzy automata. Soft Comput 20:3505\u20133519","journal-title":"Soft Comput"},{"key":"2913_CR25","unstructured":"Sun DD, Li YM, Yang WW (2009) Bisimulation relations for fuzzy finite automata. Fuzzy Syst Math 23:92\u201399 (in Chinese)"},{"key":"2913_CR26","doi-asserted-by":"crossref","unstructured":"Wang YB, Li YM (2009) Approximation of fuzzy context-free grammars. Inf Sci 179:3920\u20133929","DOI":"10.1016\/j.ins.2009.06.028"},{"key":"2913_CR27","doi-asserted-by":"crossref","unstructured":"Wang Q, Li YM (2014) The universal fuzzy automata. Fuzzy Sets Syst 249:27\u201348","DOI":"10.1016\/j.fss.2013.08.002"},{"key":"2913_CR28","doi-asserted-by":"crossref","first-page":"417","DOI":"10.4236\/am.2013.42062","volume":"4","author":"QL Wang","year":"2013","unstructured":"Wang QL, Song MM (2013) Common fixed point theorems of multi-valued maps in ultra-metric space. Appl Math 4:417\u2013420","journal-title":"Appl Math"},{"key":"2913_CR29","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.fss.2015.09.012","volume":"301","author":"HY Wu","year":"2016","unstructured":"Wu HY, Deng YX (2016) Logical characterizations of simulation andbisimulation for fuzzy transition systems. Fuzzy Sets Syst 301:19\u201336","journal-title":"Fuzzy Sets Syst"},{"key":"2913_CR30","doi-asserted-by":"crossref","unstructured":"Xing HY, Zhang QS, Huang KS (2012) Analysis and control of fuzzy discrete event systems using bisimulation equivalence. Theor Comput Sci 456:100\u2013111","DOI":"10.1016\/j.tcs.2012.05.037"},{"key":"2913_CR31","doi-asserted-by":"crossref","unstructured":"Ying MS, Wirsing M (1816) Approximate bisimilarity. In: International conference on algebraic methodology and software technology, vol 1816. Springer, 2000, pp 309\u2013322","DOI":"10.1007\/3-540-45499-3_23"},{"key":"2913_CR32","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1007\/s00500-008-0338-4","volume":"13","author":"XW Zhang","year":"2009","unstructured":"Zhang XW, Li YM (2009) Intuitionistic fuzzy recognizers and intuitionistic fuzzy automata. Soft Comput 13:611\u2013616","journal-title":"Soft Comput"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2913-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2913-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2913-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,18]],"date-time":"2018-06-18T13:39:49Z","timestamp":1529329189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2913-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,9]]},"references-count":32,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["2913"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2913-z","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,9]]}}}