{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:00:55Z","timestamp":1729663255567,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/isie.2009.5218315","type":"proceedings-article","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T10:37:17Z","timestamp":1251455837000},"page":"712-717","source":"Crossref","is-referenced-by-count":8,"title":["From models to controllers integrating graphical animation in FPGA through automatic code generation"],"prefix":"10.1109","author":[{"given":"Filipe","family":"Moutinho","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Snoopy-IOPT website","year":"2008","key":"ref10"},{"journal-title":"PNML Petri Net Markup Language 2004","year":"2008","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2007.4460403"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9_7"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1049\/ip-cdt:19970845","article-title":"vhdl generation from hierarchical petri net specifications of parallel controllers","volume":"144","author":"fernandes","year":"1997","journal-title":"Computers and Digital Techniques IEE Proceedings-"},{"key":"ref15","article-title":"Implementing a Petri net specification in a FPGA using VHDL","author":"soto","year":"2001","journal-title":"The International Workshop on Discrete-Event System Design DESDes'01"},{"key":"ref16","first-page":"483","article-title":"The Petri Net Markup Language: Concepts, Technology, and Tools","volume":"2679","author":"billington","year":"2003","journal-title":"LNCS"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2008.4581447"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","year":"0","author":"gomes","key":"ref6"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68746-7_27","article-title":"Animated Synoptic Generator Framework for Input-Output Place-Transition Petri Net Models","author":"louren\u00e7o","year":"2008","journal-title":"Lecture Notes in Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2005.1529145"},{"journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems","year":"1992","author":"david","key":"ref7"},{"journal-title":"BRITNeY Suite Website","year":"2008","key":"ref2"},{"journal-title":"R&D project POSC\/EIA\/61364\/2004 sponsored by FCT - Fundação para a Ciência e a Tecnologia","article-title":"FORDESIGN - Formal Methods for Embedded Systems Co-Design","year":"2007","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384731"}],"event":{"name":"2009 IEEE International Symposium on Industrial Electronics (ISIE 2009)","start":{"date-parts":[[2009,7,5]]},"location":"Seoul, South Korea","end":{"date-parts":[[2009,7,8]]}},"container-title":["2009 IEEE International Symposium on Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5197533\/5213059\/05218315.pdf?arnumber=5218315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T19:16:34Z","timestamp":1497813394000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5218315\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/isie.2009.5218315","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}