{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:48:01Z","timestamp":1730274481063,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/isie.2014.6864959","type":"proceedings-article","created":{"date-parts":[[2014,7,30]],"date-time":"2014-07-30T21:12:24Z","timestamp":1406754744000},"page":"2202-2206","source":"Crossref","is-referenced-by-count":6,"title":["Cloud based development framework using IOPT Petri nets for embedded systems teaching"],"prefix":"10.1109","author":[{"given":"Luis","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Aniko","family":"Costa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2012.6237295"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034958"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034908"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2013.6699475"},{"key":"3","article-title":"Petri nets for systems engineering-A guide to modeling","author":"girault","year":"2003","journal-title":"Verification and Applications"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"Readings in Hardware\/Software Co-Design","year":"2001","author":"micheli","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2012.6389075"},{"key":"7","first-page":"841","article-title":"Hardware-level design language","author":"gomes","year":"2005","journal-title":"The Industrial Information Technology Handbook"},{"key":"6","article-title":"Modeling formalisms for embedded systems design","author":"gomes","year":"2005","journal-title":"Embedded Systems Handbook"},{"year":"2013","key":"5"},{"key":"4","article-title":"The input-output place-transition petri net class and associated tools","volume":"2007","author":"gomes","year":"2007","journal-title":"5th IEEE International Conference on Industrial Informatics (INDIN)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645633"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"}],"event":{"name":"2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2014,6,1]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2014,6,4]]}},"container-title":["2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6851787\/6864573\/06864959.pdf?arnumber=6864959","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T21:35:01Z","timestamp":1490304901000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6864959\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/isie.2014.6864959","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}