{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T14:49:28Z","timestamp":1780584568768,"version":"3.54.1"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/gcce.2016.7800421","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T21:56:26Z","timestamp":1483048586000},"page":"1-4","source":"Crossref","is-referenced-by-count":9,"title":["On service orchestration of cyber physical system and its verification based on Petri net"],"prefix":"10.1109","author":[{"given":"Mohd Anuaruddin Bin","family":"Ahmadon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shingo","family":"Yamaguchi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref3","first-page":"1981","article-title":"Modeling of Adaptive Cyber Physical Systems using Aspect-oriented Approach","volume":"9","author":"qian","year":"2015","journal-title":"Appl Math Inf Sci"},{"key":"ref10","first-page":"703","article-title":"Tailor made device driver design system based on Petri net","author":"bin ahmadon","year":"2014","journal-title":"Proc IEEE GCCE 2014"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","author":"van","year":"2002","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2012.6412180"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-5225-0105-3.ch007"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_27"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.14257\/ijsh.2015.9.1.21"},{"key":"ref9","author":"verbeek","year":"2004","journal-title":"Verification of WF-nets"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2014.2312291"}],"event":{"name":"2016 IEEE 5th Global Conference on Consumer Electronics","location":"Kyoto, Japan","start":{"date-parts":[[2016,10,11]]},"end":{"date-parts":[[2016,10,14]]}},"container-title":["2016 IEEE 5th Global Conference on Consumer Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7787085\/7800304\/07800421.pdf?arnumber=7800421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T02:16:22Z","timestamp":1568686582000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7800421\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/gcce.2016.7800421","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}