{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:37:13Z","timestamp":1729633033862,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/nesea.2012.6474022","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":["Logic design of structured configurable controllers"],"prefix":"10.1109","author":[{"given":"Jacek","family":"Tkacz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marian","family":"Adamski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Assertion-Based Design","year":"2004","author":"foster","key":"17"},{"key":"15","first-page":"233","article-title":"Design of reconfigurable logic controllers from petri net-based specifications","author":"adamski","year":"2009","journal-title":"4th IFAC Workshop on Discrete-event System Design"},{"key":"16","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":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9"},{"journal-title":"Petri nets for System Engineering A Guide to Modeling Verification and Applications","year":"2003","author":"girault","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19951886"},{"key":"12","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":"3","first-page":"95","article-title":"Specification and synthesis of Petri net based reprogrammable logic controller","author":"adamski","year":"2001","journal-title":"Proceedings of 5th IFAC International Conference on Programmable Devices and Embedded Systems PDeS'01"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.2478\/v10177-012-0004-8"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28327-7_2"},{"key":"10","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":"7","first-page":"1","article-title":"Formal reasoning in logic design of reconfigurable controllers","author":"adamski","year":"2012","journal-title":"Proceedings of 11th IFAC\/IEEE International Conference on Programmable Devices and Embedded Systems PDeS'12"},{"journal-title":"Logic For Computer Science Foundations of Automatic Theorem Proving","year":"1985","author":"gallier","key":"6"},{"key":"5","volume":"20","author":"doligalski","year":"2012","journal-title":"Behavioral Specification Diversification of Reconfigurable Logic Controllers Ser Lecture Notes in Control and Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.2478\/v10177-012-0005-7"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.822956"},{"key":"8","first-page":"157","article-title":"Petri nets mapping into reconfigurable logic controllers","volume":"55","author":"adamski","year":"2009","journal-title":"Electronics and Telecommunications Quarterly"}],"event":{"name":"2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA)","start":{"date-parts":[[2012,12,13]]},"location":"Liverpool, United Kingdom","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\/06474022.pdf?arnumber=6474022","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\/6474022\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/nesea.2012.6474022","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}