{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:28:16Z","timestamp":1742956096234,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319685267"},{"type":"electronic","value":"9783319685274"}],"license":[{"start":{"date-parts":[[2017,9,24]],"date-time":"2017-09-24T00:00:00Z","timestamp":1506211200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-68527-4_39","type":"book-chapter","created":{"date-parts":[[2017,9,23]],"date-time":"2017-09-23T02:39:20Z","timestamp":1506134360000},"page":"359-367","source":"Crossref","is-referenced-by-count":0,"title":["The Redundancy Problem in Composition of Parallel Finite Automata and Its Optimization Method"],"prefix":"10.1007","author":[{"given":"Zheng-Yi","family":"Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Shui","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xing-Si","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,24]]},"reference":[{"issue":"11","key":"39_CR1","first-page":"1","volume":"32","author":"S Maneva","year":"2015","unstructured":"Maneva, S., Manev, K.: Finite automata models in agro-ecosystem and plant protection. Int. J. Comput. Appl. 32(11), 1\u20136 (2015)","journal-title":"Int. J. Comput. Appl."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Neider, D., Jansen, N.: Regular model checking using solver technologies and automata learning. In: 6th International Proceedings on NASA Formal Method, CA, USA, pp. 16\u201331. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38088-4_2"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Armbrust, C., Kiekbusch, L., Ropertz, T., Berns, K.: Verification of behaviour networks using finite-state automata. In: German Conference on Advances in Artificial Intelligence, Koblenz, German, pp. 1\u201312. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-33347-7_1"},{"issue":"5","key":"39_CR4","doi-asserted-by":"crossref","first-page":"842","DOI":"10.1109\/TFUZZ.2012.2232298","volume":"21","author":"Y Li","year":"2013","unstructured":"Li, Y., Li, L.: Model checking of linear-time properties based on possibility measure. IEEE Trans. Fuzzy Syst. 21(5), 842\u2013854 (2013)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"1","key":"39_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.jlap.2010.02.001","volume":"80","author":"ME Cambronero","year":"2011","unstructured":"Cambronero, M.E., D\u00edaz, G., Valero, V., et al.: Validation and verification of web services choreographies by using timed automata. J. Logic Algebraic Program. 80(1), 25\u201349 (2011)","journal-title":"J. Logic Algebraic Program."},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"Damm, W., Ihlemann, C., Sofronie-Stokkermans, V.: Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. In: International Conference on Hybrid Systems: Computation and Control, Chicago, USA, pp. 73\u201382. ACM (2011)","DOI":"10.1145\/1967701.1967714"},{"issue":"1","key":"39_CR7","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/TSE.2016.2560842","volume":"43","author":"V Ruiz","year":"2017","unstructured":"Ruiz, V., Diaz, G., Cambronero, M.E.: Timed automata modeling and verification for publish-subscribe structures using distributed resources. IEEE Trans. Softw. Eng. 43(1), 76\u201399 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"9","key":"39_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.cosrev.2013.05.001","volume":"12","author":"MTB Waez","year":"2013","unstructured":"Waez, M.T.B., Dingel, J., Rudie, K.: A survey of timed automata for the development of real-time systems. Comput. Sci. Rev. 12(9), 1\u201326 (2013)","journal-title":"Comput. Sci. Rev."},{"issue":"6","key":"39_CR9","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.ic.2013.10.002","volume":"232","author":"B Delahaye","year":"2013","unstructured":"Delahaye, B., Katoen, J.P., Larsen, K.G., et al.: Abstract probabilistic automata. Inf. Comput. 232(6), 66\u2013116 (2013)","journal-title":"Inf. Comput."},{"issue":"3","key":"39_CR10","first-page":"478","volume":"38","author":"Z-Y Tang","year":"2016","unstructured":"Tang, Z.-Y., Wang, J.-S., Wei, L., et al.: Formal description and compatibility analysis of OWL-S process model 38(3), 478\u2013485 (2016)","journal-title":"Formal description and compatibility analysis of OWL-S process model"},{"issue":"1","key":"39_CR11","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1162\/089120100561638","volume":"26","author":"GV Noord","year":"2000","unstructured":"Noord, G.V.: Treatment of epsilon moves in subset construction. Comput. Linguist. 26(1), 61\u201376 (2000)","journal-title":"Comput. Linguist."}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of the Fourth Euro-China Conference on Intelligent Data Analysis and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68527-4_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T06:14:26Z","timestamp":1506492866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68527-4_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,24]]},"ISBN":["9783319685267","9783319685274"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68527-4_39","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,9,24]]}}}