{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:12:44Z","timestamp":1725790364782},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/icce-berlin.2018.8576174","type":"proceedings-article","created":{"date-parts":[[2018,12,18]],"date-time":"2018-12-18T01:20:48Z","timestamp":1545096048000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["Ontology-Supported Verification Method for Implementation of IoT Service Design with Petri Net"],"prefix":"10.1109","author":[{"given":"Mohd Anuaruddin Bin","family":"Ahmadon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shingo","family":"Yamaguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2016.7800421"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.14257\/ijsh.2015.9.1.21"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0035"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2012.6412180"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480633"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E96.A.505"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_7"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","author":"van der aalst","year":"2002","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2763425"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2017.8229465"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WoWMoM.2014.6918931"}],"event":{"name":"2018 IEEE 8th International Conference on Consumer Electronics - Berlin","start":{"date-parts":[[2018,9,2]]},"location":"Berlin","end":{"date-parts":[[2018,9,5]]}},"container-title":["2018 IEEE 8th International Conference on Consumer Electronics - Berlin (ICCE-Berlin)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8556144\/8576162\/08576174.pdf?arnumber=8576174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T12:00:37Z","timestamp":1720872037000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8576174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icce-berlin.2018.8576174","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}