{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T23:21:49Z","timestamp":1773789709689,"version":"3.50.1"},"reference-count":7,"publisher":"IEEE","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1109\/icce.2017.7889238","type":"proceedings-article","created":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T00:43:11Z","timestamp":1490920991000},"page":"80-83","source":"Crossref","is-referenced-by-count":35,"title":["A support tool to design IoT services with NuSMV"],"prefix":"10.1109","author":[{"given":"Kazuya","family":"Nakahori","sequence":"first","affiliation":[{"name":"Graduate School of Sciences and Technology for Innovation, Yamaguchi University, 2-16-1 Tokiwadai, Ube, 755-8611, Japan"}]},{"given":"Shingo","family":"Yamaguchi","sequence":"additional","affiliation":[{"name":"Graduate School of Sciences and Technology for Innovation, Yamaguchi University, 2-16-1 Tokiwadai, Ube, 755-8611, Japan"}]}],"member":"263","reference":[{"key":"ref4","first-page":"2363","article-title":"A model checking method of agent-oriented Petri net $\\text{PN}^{2}$ with SPIN","volume":"19","author":"tsugawa","year":"2016","journal-title":"International Journal of Information"},{"key":"ref3","first-page":"2829","article-title":"A Petri-net-based model for the mathematical analysis of multi-agent systems","volume":"84 a","author":"hiraishi","year":"2001","journal-title":"IEICE Transactions on Fundamentals"},{"key":"ref6","first-page":"25","article-title":"On Theoretical Analysis of Agent-Oriented Petri Nets","volume":"101","author":"hiraishi","year":"2002","journal-title":"Technical report of IEICE"},{"key":"ref5","year":"0"},{"key":"ref7","first-page":"65","article-title":"Petri Net-based Parallel Model Checking with a Splitting Procedure","author":"bin","year":"2015","journal-title":"Proc of IEE GCCE 2015"},{"key":"ref2","first-page":"449","article-title":"On service personalization analysis for the internet of me based on","author":"bin","year":"2016","journal-title":"Proc of IEEE ICCE 2016"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE-TW.2016.7521031"}],"event":{"name":"2017 IEEE International Conference on Consumer Electronics (ICCE)","location":"Las Vegas, NV, USA","start":{"date-parts":[[2017,1,8]]},"end":{"date-parts":[[2017,1,10]]}},"container-title":["2017 IEEE International Conference on Consumer Electronics (ICCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7886213\/7889198\/07889238.pdf?arnumber=7889238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T17:52:54Z","timestamp":1755021174000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7889238\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/icce.2017.7889238","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}