{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T20:40:08Z","timestamp":1747600808487,"version":"3.40.5"},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/gcce.2014.7031141","type":"proceedings-article","created":{"date-parts":[[2015,2,10]],"date-time":"2015-02-10T14:58:51Z","timestamp":1423580331000},"page":"703-706","source":"Crossref","is-referenced-by-count":0,"title":["Tailor made device driver design system based on Petri nets"],"prefix":"10.1109","author":[{"family":"Mohd Anuaruddin Bin 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":"3","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":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"1","first-page":"23","article-title":"Device driver portability in the ITRON device driver design guidelines and its evaluation","volume":"86","author":"muranaka","year":"2001","journal-title":"Proc RTP 2001 A Workshop Pon Real-time Processing"},{"key":"6","first-page":"337","article-title":"Soundness and separability of workflow nets in the stepwise refinement approach","volume":"2003","author":"van hee","year":"2003","journal-title":"Proc of ICATPN"},{"key":"5","first-page":"121","article-title":"On associativity of composition rules of workflow nets and its application","volume":"11","author":"hondo","year":"2011","journal-title":"Technical report of IEICE"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00321-2"}],"event":{"name":"2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE)","start":{"date-parts":[[2014,10,7]]},"location":"Tokyo, Japan","end":{"date-parts":[[2014,10,10]]}},"container-title":["2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7020225\/7031081\/07031141.pdf?arnumber=7031141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T20:11:46Z","timestamp":1747599106000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7031141\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/gcce.2014.7031141","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}