{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:23:15Z","timestamp":1761488595117,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/iecon.2008.4758345","type":"proceedings-article","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T10:42:29Z","timestamp":1291804949000},"page":"2477-2482","source":"Crossref","is-referenced-by-count":19,"title":["Petri nets tools framework supporting FPGA-based controller implementations"],"prefix":"10.1109","author":[{"given":"A.","family":"Costa","sequence":"first","affiliation":[]},{"given":"L.","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"J.P.","family":"Barros","sequence":"additional","affiliation":[]},{"given":"J.","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"T.","family":"Reis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2008","key":"17"},{"year":"2008","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"journal-title":"Las redes de Petri En la Automa?tica y la Informa?tica","year":"1985","author":"silva","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68746-7_27"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"year":"0","key":"12"},{"year":"2007","key":"3"},{"journal-title":"Petri Nets & Grafcet Tools for modelling discrete event systems","year":"1992","author":"david","key":"2"},{"key":"1","article-title":"petri net splitting operation within embedded systems co-design","author":"costa","year":"2007","journal-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN'07)"},{"key":"10","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","article-title":"a signal extension for petri nets and its use in controller design","volume":"41","author":"hanisch","year":"2000","journal-title":"Fundamenta Informaticae"},{"year":"0","key":"7"},{"key":"6","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":"5","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560425"},{"key":"4","first-page":"57","article-title":"editing, visualizing, and implementing signal interpreted petri nets","author":"frey","year":"2000","journal-title":"Proceedings of the AWPN 2000 Koblenz"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2008.4581447"},{"key":"8","article-title":"petri nets tools and embedded systems design","author":"gomes","year":"2007","journal-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07)"}],"event":{"name":"IECON 2008 - 34th Annual Conference of IEEE Industrial Electronics Society","start":{"date-parts":[[2008,11,10]]},"location":"Orlando, FL","end":{"date-parts":[[2008,11,13]]}},"container-title":["2008 34th Annual Conference of IEEE Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4749247\/4757911\/04758345.pdf?arnumber=4758345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,14]],"date-time":"2020-06-14T08:41:31Z","timestamp":1592124091000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4758345\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iecon.2008.4758345","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}