{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T06:51:52Z","timestamp":1777704712857,"version":"3.51.4"},"reference-count":21,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2018,8,2]],"date-time":"2018-08-02T00:00:00Z","timestamp":1533168000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Journal of Intelligent &amp; Fuzzy Systems"],"published-print":{"date-parts":[[2019,2,16]]},"abstract":"<jats:p>By considering the multi-valued bisimulation quotients, smaller multi-valued models are obtained. This minimization can be exploited for efficient multi-valued model checking. In this paper, we illustrate an application of the multi-valued bisimulation quotients. Further, we present some definitions of partitions of multi-valued Kripke structures. Finally, as the main contribution, in order to generate the multi-valued bisimulation quotient, we provide a series of algorithms and analysis the time complexity of it.<\/jats:p>","DOI":"10.3233\/jifs-172075","type":"journal-article","created":{"date-parts":[[2018,8,5]],"date-time":"2018-08-05T06:40:00Z","timestamp":1533451200000},"page":"37-45","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":2,"title":["Multi-valued bisimulation quotienting algorithms"],"prefix":"10.1177","volume":"36","author":[{"given":"Deng","family":"Hui","sequence":"first","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, P.R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Zhi","sequence":"additional","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, P.R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2018,8,2]]},"reference":[{"key":"e_1_3_1_2_2","volume-title":"Model checking","author":"Peled D.","year":"1999","unstructured":"PeledD., ClarkeE., GrumbergO., Model checking, The MIT Press, 1999."},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2014-1122"},{"key":"e_1_3_1_4_2","article-title":"Bisimulation For Latticevalued Transition Systems","author":"Pan H.","unstructured":"PanH., ZhangM. and ChenY., Bisimulation For Latticevalued Transition Systems, 2012 IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering.","journal-title":"2012 IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2011.2117431"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2015.09.012"},{"key":"e_1_3_1_7_2","unstructured":"BelohlavekR. Fuzzy Relational Systems Foundations and Principles Kluwer 2012."},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.2307\/2372074"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02713945"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2011.10.007"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.10.030"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2014.03.009"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2015.2396537"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.04.002"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2012.2232298"},{"key":"e_1_3_1_16_2","volume-title":"Principles of model checking","author":"Baier C.","year":"2007","unstructured":"BaierC., KatoenJ.P., Principles of model checking, The MIT Press, 2007."},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(86)80001-8"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08494-6"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45251-6_5"},{"issue":"4","key":"e_1_3_1_20_2","first-page":"371","article-title":"Multivalued symbolic model-checking","volume":"12","author":"Chechik M.","year":"2003","unstructured":"ChechikM., DevereuxB., GurfinkelA. and EasterbrookS., Multivalued symbolic model-checking, on Software Engineering and Methodology 12(4) (2003), 371\u2013408.","journal-title":"on Software Engineering and Methodology"},{"key":"e_1_3_1_21_2","first-page":"16","volume-title":"Proceedings of the 8th SPIN Workshop on Model Checking Software, Lecture Notes in Computer Science","volume":"2057","author":"Chechik M.","year":"2001","unstructured":"ChechikM., DeveruxB. and GurfinkelA., Model-checking infinite state-space systems with fine-grained abstractions using SPIN, Proceedings of the 8th SPIN Workshop on Model Checking Software, Lecture Notes in Computer Science, Toronto, Canada, vol. 2057, Springer, 2001, pp. 16\u201336."},{"issue":"6","key":"e_1_3_1_22_2","first-page":"973","article-title":"Three partition refinement algorithms","volume":"16","author":"Paigef R.","year":"1987","unstructured":"PaigefR. and TarjantR., Three partition refinement algorithms, Society for Industrial and Applied Mathematics 16(6) (1987), 973\u2013989.","journal-title":"Society for Industrial and Applied Mathematics"}],"container-title":["Journal of Intelligent &amp; Fuzzy Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JIFS-172075","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/JIFS-172075","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JIFS-172075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T09:41:50Z","timestamp":1777455710000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/JIFS-172075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,2]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2,16]]}},"alternative-id":["10.3233\/JIFS-172075"],"URL":"https:\/\/doi.org\/10.3233\/jifs-172075","relation":{},"ISSN":["1064-1246","1875-8967"],"issn-type":[{"value":"1064-1246","type":"print"},{"value":"1875-8967","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,2]]}}}