{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T09:51:39Z","timestamp":1768729899041,"version":"3.49.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/nesea.2012.6474021","type":"proceedings-article","created":{"date-parts":[[2013,3,20]],"date-time":"2013-03-20T18:50:34Z","timestamp":1363805434000},"page":"1-6","source":"Crossref","is-referenced-by-count":9,"title":["An FPGA synthesis of the distributed control systems designed with Petri nets"],"prefix":"10.1109","author":[{"given":"Arkadiusz","family":"Bukowiec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Mroz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28327-7_15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.822956"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.02.005"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.2478\/v10177-012-0005-7"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28327-7_2"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2008.5580151"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.1997.651753"},{"key":"2","volume":"356","author":"karatkevich","year":"2007","journal-title":"Dynamic Analysis of Petri Net-Based Discrete Systems ser Lecture Notes in Control and Information Sciences"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"10","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-53863-1_28","article-title":"On the analysis and synthesis of free choice systems","volume":"483","author":"esparza","year":"1991","journal-title":"Advances in Petri Nets 1990 Lecture Notes in Computer Science"},{"key":"7","first-page":"407","article-title":"On decomposition of Petri net by means of coloring","author":"we?grzyn","year":"2006","journal-title":"Proceedings of IEEE East-West Design & Test Workshop EWDTW'06"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19951886"},{"key":"5","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1049\/ip-cdt:19941508","article-title":"petri-net-based algorithms for parallel-controller synthesis","volume":"141","author":"bilinski","year":"1994","journal-title":"Computers and Digital Techniques IEE Proceedings-"},{"key":"4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri nets and CPN tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"9","volume":"13","author":"bukowiec","year":"2009","journal-title":"Synthesis of Finite State Machines for FPGA Devices Based on Architectural Decomposition Ser Lecture Notes in Control and Computer Science"},{"key":"8","first-page":"120","article-title":"State machine type colouring of Petri net by means of using a symbolic deduction method","volume":"53","author":"tkacz","year":"2007","journal-title":"Measurement Automation and Monitoring"}],"event":{"name":"2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA)","location":"Liverpool, United Kingdom","start":{"date-parts":[[2012,12,13]]},"end":{"date-parts":[[2012,12,14]]}},"container-title":["2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6470767\/6474006\/06474021.pdf?arnumber=6474021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T09:44:14Z","timestamp":1498038254000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6474021\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/nesea.2012.6474021","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}