{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:27:34Z","timestamp":1742912854463,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642538551"},{"type":"electronic","value":"9783642538568"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-53856-8_55","type":"book-chapter","created":{"date-parts":[[2013,12,10]],"date-time":"2013-12-10T13:26:45Z","timestamp":1386682005000},"page":"436-443","source":"Crossref","is-referenced-by-count":11,"title":["Petri Net Dynamic Partial Reconfiguration in FPGA"],"prefix":"10.1007","author":[{"given":"Arkadiusz","family":"Bukowiec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Doligalski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"55_CR1","unstructured":"Adamski, M., Monteiro, J.L., Fengler, W., Wendt, A.: A distributed Petri net-based discrete controller system. In: Proceedings of the Conference on Automatic Control, Control 1996, Porto, Portugal, vol.\u00a02, pp. 777\u2013782 (1996)"},{"issue":"2","key":"55_CR2","first-page":"157","volume":"55","author":"M. Adamski","year":"2009","unstructured":"Adamski, M., We\u0327grzyn, M.: Petri nets mapping into reconfigurable logic controllers. Electronics and Telecommunications Quarterly\u00a055(2), 157\u2013182 (2009)","journal-title":"Electronics and Telecommunications Quarterly"},{"issue":"6","key":"55_CR3","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1049\/ip-cdt:19941508","volume":"141","author":"K. Bili\u0144ski","year":"1994","unstructured":"Bili\u0144ski, K., Adamski, M., Saul, J., Dagless, E.: Petri-net-based algorithms for parallel-controller synthesis. IEE Proceedings \u2013 Computers and Digital Techniques\u00a0141(6), 405\u2013412 (1994)","journal-title":"IEE Proceedings \u2013 Computers and Digital Techniques"},{"key":"55_CR4","doi-asserted-by":"crossref","unstructured":"Bukowiec, A., Adamski, M.: Synthesis of Petri nets into FPGA with operation flexible memories. In: Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2012, Tallinn, Estonia, pp. 16\u201321 (2012)","DOI":"10.1109\/DDECS.2012.6219016"},{"key":"55_CR5","first-page":"97","volume-title":"Real-Time Programming 2004. A Proceedings Volume from the 28th IFAC\/IFIP Workshop, WRTP 2004","author":"A. Bukowiec","year":"2005","unstructured":"Bukowiec, A., We\u0327grzyn, M.: Design of logic controllers for safety critical systems using FPGAs with embedded microprocessors. In: Colnaric, M., Halang, W.A., We\u0327grzyn, M. (eds.) Real-Time Programming 2004. A Proceedings Volume from the 28th IFAC\/IFIP Workshop, WRTP 2004, pp. 97\u2013102. Elsevier, Oxford (2005)"},{"issue":"7","key":"55_CR6","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1016\/S0967-0661(98)00076-8","volume":"6","author":"N. Chang","year":"1998","unstructured":"Chang, N., Kwon, W.H., Park, J.: Hardware implementation of real-time Petri-net-based controllers. Control Engineering Practice\u00a06(7), 889\u2013895 (1998), \n                      http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0967066198000768","journal-title":"Control Engineering Practice"},{"key":"55_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-53863-1_28","volume-title":"Advances in Petri Nets 1990","author":"J. Esparza","year":"1991","unstructured":"Esparza, J., Silva, M.: On the analysis and synthesis of free choice systems. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 243\u2013286. Springer, Heidelberg (1991)"},{"issue":"3","key":"55_CR8","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TSMCB.2003.822956","volume":"34","author":"L. Gniewek","year":"2004","unstructured":"Gniewek, L., Kluska, J.: Hardware implementation of fuzzy Petri net as a controller. IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part B: Cybernetics\u00a034(3), 1315\u20131324 (2004)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part B: Cybernetics"},{"key":"55_CR9","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/IECON.2007.4460403","volume-title":"33rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2007","author":"L. Gomes","year":"2007","unstructured":"Gomes, L., Costa, A., Barros, J., Lima, P.: From Petri net models to VHDL implementation of digital controllers. In: 33rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2007, pp. 94\u201399. IEEE, Taipei (2007)"},{"key":"55_CR10","series-title":"LNCIS","volume-title":"Dynamic Analysis of Petri Net-Based Discrete Systems","author":"A. Karatkevich","year":"2007","unstructured":"Karatkevich, A.: Dynamic Analysis of Petri Net-Based Discrete Systems. LNCIS, vol.\u00a0356. Springer, Berlin (2007)"},{"key":"55_CR11","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/EWDTS.2008.5580151","volume-title":"Proceedings of IEEE East-West Design & Test Symposium, EWDTS 2008","author":"A. Karatkevich","year":"2008","unstructured":"Karatkevich, A.: On macroplaces in Petri nets. In: Proceedings of IEEE East-West Design & Test Symposium, EWDTS 2008, pp. 418\u2013422. IEEE, Lviv (2008)"},{"key":"55_CR12","series-title":"LNCIS","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1225-0","volume-title":"Partial Reconfiguration on FPGAs","author":"D. Koch","year":"2013","unstructured":"Koch, D.: Partial Reconfiguration on FPGAs. LNCIS, vol.\u00a0153. Springer, New York (2013)"},{"issue":"4","key":"55_CR13","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1049\/ip-cdt:19951886","volume":"142","author":"T. Koz\u0142owski","year":"1995","unstructured":"Koz\u0142owski, T., Dagless, E., Saul, J., Adamski, M., Szajna, J.: Parallel controller synthesis using Petri nets. IEE Proceedings \u2013 Computers and Digital Techniques\u00a0142(4), 263\u2013271 (1995)","journal-title":"IEE Proceedings \u2013 Computers and Digital Techniques"},{"issue":"1","key":"55_CR14","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2478\/v10177-012-0004-8","volume":"58","author":"G. \u0141abiak","year":"2012","unstructured":"\u0141abiak, G., Adamski, M., Doligalski, M., Tkacz, J., Bukowiec, A.: UML modelling in rigorous design methodology for discrete controllers. International Journal of Electronics and Telecommunications\u00a058(1), 27\u201334 (2012)","journal-title":"International Journal of Electronics and Telecommunications"},{"issue":"9","key":"55_CR15","doi-asserted-by":"publisher","first-page":"5501","DOI":"10.3390\/s8095501","volume":"8","author":"L. Ma","year":"2008","unstructured":"Ma, L., Xia, F., Peng, Z.: Integrated design and implementation of embedded control systems with scilab. Sensors\u00a08(9), 5501\u20135515 (2008)","journal-title":"Sensors"},{"key":"55_CR16","first-page":"163","volume-title":"Programmable Devices and Systems 2001. A Proceedings Volume from the 5th IFAC Workshop, PDS 2001","author":"A. Milik","year":"2002","unstructured":"Milik, A., Hrynkiewicz, E.: Reconfigurable logic controller, architecture, programming, implementation. In: Ciazynski, W., Hrynkiewicz, E., Klosowski, P. (eds.) Programmable Devices and Systems 2001. A Proceedings Volume from the 5th IFAC Workshop, PDS 2001, pp. 163\u2013168. Pergamon, London (2002)"},{"issue":"4","key":"55_CR17","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989), \n                      http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=24143","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"55_CR18","doi-asserted-by":"publisher","first-page":"276","DOI":"10.4314\/ijest.v3i4.68559","volume":"3","author":"G.S. Nhivekar","year":"2011","unstructured":"Nhivekar, G.S., Nirmale, S.S., Mudholker, R.: Implementation of fuzzy logic control algorithm in embedded microcomputers for dedicated application. International Journal of Engineering, Science and Technology\u00a03(4), 276\u2013283 (2011)","journal-title":"International Journal of Engineering, Science and Technology"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST 2013"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-53856-8_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T22:00:29Z","timestamp":1676844029000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-53856-8_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642538551","9783642538568"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-53856-8_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}