{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:50:03Z","timestamp":1729666203645,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/iecon.2016.7794152","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T11:47:13Z","timestamp":1483616833000},"page":"4832-4837","source":"Crossref","is-referenced-by-count":8,"title":["The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development"],"prefix":"10.1109","author":[{"given":"Fernando","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Renew - User Guide","year":"2009","author":"kummer","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1025461"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2013.6699475"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2442116.2442133"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2442116.2442133"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"journal-title":"Mastering SIMULINK","year":"2004","author":"dabney","key":"ref16"},{"year":"0","key":"ref17"},{"year":"0","key":"ref18"},{"journal-title":"XSLT","year":"2008","author":"tidwell","key":"ref19"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2007.4384809","article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","author":"gomes","year":"2007","journal-title":"INDIN'2007 - 5th IEEE International Conference on Industrial Informatics"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous data flow","volume":"75","author":"lee","year":"1987","journal-title":"Proceedings of the IEEE"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-3-319-31165-4_7","article-title":"Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification","author":"pereira","year":"2016","journal-title":"Technological Innovation for Cyber-Physical Systems"},{"journal-title":"IEEE Standard VHDL Language Reference Manual","first-page":"1c","year":"2009","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1109\/ICMC.2014.7232002","article-title":"IOPT-Tools - Towards cloud design automation of digital controllers with Petri nets","author":"pereira","year":"2014","journal-title":"ICMC 2014 International Conference on Mechatronics and Control"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034958"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2663340"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281797"}],"event":{"name":"IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society","start":{"date-parts":[[2016,10,23]]},"location":"Florence, Italy","end":{"date-parts":[[2016,10,26]]}},"container-title":["IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782522\/7792929\/07794152.pdf?arnumber=7794152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T01:36:14Z","timestamp":1568684174000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7794152\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iecon.2016.7794152","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}