{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T04:37:18Z","timestamp":1649047038238},"reference-count":10,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Electron. Express"],"published-print":{"date-parts":[[2015]]},"DOI":"10.1587\/elex.11.20141112","type":"journal-article","created":{"date-parts":[[2014,12,25]],"date-time":"2014-12-25T22:04:49Z","timestamp":1419545089000},"page":"20141112-20141112","source":"Crossref","is-referenced-by-count":2,"title":["Bounded model checking of Time Petri Nets using SAT solver"],"prefix":"10.1587","volume":"12","author":[{"given":"Tomoyuki","family":"Yokogawa","sequence":"first","affiliation":[{"name":"Okayama Prefectural University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masafumi","family":"Kondo","sequence":"additional","affiliation":[{"name":"Kawasaki University of Medical Welfare"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hisashi","family":"Miyazaki","sequence":"additional","affiliation":[{"name":"Kawasaki University of Medical Welfare"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sousuke","family":"Amasaki","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoichiro","family":"Sato","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazutami","family":"Arimoto","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] P. M. Merlin and D. J. Faber: IEEE Trans. Softw. Eng. <b>24<\/b> [9] (1976) 1936.","DOI":"10.1109\/TCOM.1976.1093347"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] A. Xie and P. A. Beerel: Hardware Design and Petri Nets (1999) 239.","DOI":"10.1007\/978-1-4757-3143-9_13"},{"key":"3","unstructured":"[3] A. Biere, A. Cimatti, E. M. Clarke and Y. Zhu: TACAS \u201999 (1999) 193."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] S. Ogata, T. Tsuchiya and T. Kikuno: ATVA \u201904 <b>3299<\/b> (2004) 79.","DOI":"10.1007\/978-3-540-30476-0_11"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] M. Sorea: Electron. Notes Theor. Comput. Sci. <b>68<\/b> [5] (2003) 116. DOI:10.1016\/S1571-0661(04)80523-1","DOI":"10.1016\/S1571-0661(04)80523-1"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] J. Dubrovin, T. Junttila and K. Heljanko: Sci. Comput. Program. <b>77<\/b> (2012) 1095. DOI:10.1016\/j.scico.2011.07.005","DOI":"10.1016\/j.scico.2011.07.005"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] J. Sifakis: Net Theory and Applications <b>84<\/b> (1980) 307. DOI:10.1007\/3-540-10001-6_30","DOI":"10.1007\/3-540-10001-6_30"},{"key":"8","unstructured":"[8] B. Duterte and L. De Moura: CAV \u201906 <b>4144<\/b> (2006) 81."},{"key":"9","unstructured":"[9] UPPAAL: http:\/\/www.uppaal.com\/."},{"key":"10","unstructured":"[10] Y. Miwa, T. Yokogawa, H. Miyazaki, M. Kondo and Y. Sato: FIT2011 (2011) (in Japanese)."}],"container-title":["IEICE Electronics Express"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/elex\/12\/2\/12_11.20141112\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T00:51:15Z","timestamp":1566175875000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/elex\/12\/2\/12_11.20141112\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015]]}},"URL":"https:\/\/doi.org\/10.1587\/elex.11.20141112","relation":{},"ISSN":["1349-2543"],"issn-type":[{"value":"1349-2543","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}