{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:25:09Z","timestamp":1729675509636,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/indin.2015.7281797","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T17:59:09Z","timestamp":1443722349000},"page":"572-579","source":"Crossref","is-referenced-by-count":9,"title":["Remote operation of embedded controllers designed using IOPT Petri-nets"],"prefix":"10.1109","author":[{"given":"Fernando","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Arildo","family":"Melo","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Professional Ajax","year":"2007","author":"zakas","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2031188"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2013.6699475"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.17487\/rfc4627","article-title":"The application\/json media type for javascript object notation (json)","author":"crockford","year":"2006"},{"key":"ref12","article-title":"Hypertext transfer protocol-HTTP\/1.1","volume":"12","author":"fielding","year":"1999"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1066116.1066118"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EUROCON.2011.5929377"},{"key":"ref15","article-title":"IOPT Tools User Manual - Version 1.1","author":"pereira","year":"2014","journal-title":"FCT\/UNL Lisbon"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2341933"},{"key":"ref17","article-title":"Embedded Linux as a platform for dynamically self-reconfiguring systems-on-chip","author":"williams","year":"2004","journal-title":"Ersa’04 the 2004 International Conference On Engineering of Reconfigurable Systems and Algorithms"},{"year":"2013","key":"ref18","article-title":"QNX website"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAEE.2012.6235416"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37291-9_26"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2008.4758345"},{"key":"ref3","article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","author":"gomes","year":"2007","journal-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN'07)"},{"key":"ref6","article-title":"Cloud based 10PT Petri Net Simulator to test and debug embedded system controllers","author":"pereira","year":"2015","journal-title":"DoCEIS’ 15–2015 6th Doctoral Conference on Computing Electrical and Industrial Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166768"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICMC.2014.7231723"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034908"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034907"},{"key":"ref2","article-title":"IOPT-TOOLS - A web based tool framework for embedded systems controller development using Petri nets","author":"pereira","year":"2013","journal-title":"2013 23rd International Conference on Field programmable Logic and Applications FPL"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2007.4460403"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMC.2014.7232002"},{"year":"0","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166777"},{"key":"ref21","article-title":"Implementation of the Modbus\/TCP Protocol on the STM 32","author":"tiejun","year":"2013","journal-title":"Journal of Convergence Information Technology 8 2"},{"key":"ref24","article-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Pratical Use","volume":"1","author":"jensen","year":"1997"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2211028"},{"key":"ref26","article-title":"Renew - User Guide","author":"kummer","year":"2009","journal-title":"University of Hamburg Department for Informatics Theoretical Foundations Group Release 2 2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.15"}],"event":{"name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2015,7,22]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2015,7,24]]}},"container-title":["2015 IEEE 13th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270516\/7281697\/07281797.pdf?arnumber=7281797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T01:11:39Z","timestamp":1567213899000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281797\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/indin.2015.7281797","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}