{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:13:33Z","timestamp":1772554413162,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T00:00:00Z","timestamp":1748995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T00:00:00Z","timestamp":1748995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,4]]},"DOI":"10.1109\/eurocon64445.2025.11073308","type":"proceedings-article","created":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T17:40:21Z","timestamp":1752601221000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Deadlock-Prone Circuits in S<sup>3<\/sup>PR Petri Nets"],"prefix":"10.1109","author":[{"given":"Andrei","family":"Karatkevich","sequence":"first","affiliation":[{"name":"AGH University of Science and Technology,Dept. of Applied Computer Science,Krak&#x00F3;w,Poland"}]},{"given":"Iwona","family":"Grobelna","sequence":"additional","affiliation":[{"name":"University of Zielona G&#x00F3;ra,Inst. of Autom. Control, Electronics and Electr. Eng,Zielona G&#x00F3;ra,Poland"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/electronics10182305"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.12700\/aph.20.6.2023.6.5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-97-4018-5_2"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/infoteh53737.2022.9751283"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/icarcv57592.2022.10004357"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/access.2024.3396879"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-87675-3_1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/infoteh60418.2024.10495966"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0045-7906(01)00034-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_21"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/access.2024.3461168"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/70.63273"},{"key":"ref16","article-title":"Operation System Concepts","volume-title":"John Wiley & Sons, Inc","author":"Silberschatz"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2021.3114498"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/access.2019.2960435"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"}],"event":{"name":"IEEE EUROCON 2025 - 21st International Conference on Smart Technologies","location":"Gdynia, Poland","start":{"date-parts":[[2025,6,4]]},"end":{"date-parts":[[2025,6,6]]}},"container-title":["IEEE EUROCON 2025 - 21st International Conference on Smart Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11073124\/11073193\/11073308.pdf?arnumber=11073308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T05:38:24Z","timestamp":1752644304000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11073308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,4]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/eurocon64445.2025.11073308","relation":{},"subject":[],"published":{"date-parts":[[2025,6,4]]}}}