{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T21:44:19Z","timestamp":1770846259698,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:00:00Z","timestamp":1759622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:00:00Z","timestamp":1759622400000},"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,10,5]]},"DOI":"10.1109\/smc58881.2025.11342612","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:44Z","timestamp":1769633684000},"page":"1190-1195","source":"Crossref","is-referenced-by-count":0,"title":["Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Wojnakowski","sequence":"first","affiliation":[{"name":"University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516"}]},{"given":"R.","family":"Wi\u015bniewski","sequence":"additional","affiliation":[{"name":"University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516"}]},{"given":"M.","family":"Zhou","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology,ECE Department,Newark,NJ,USA,07102"}]},{"given":"Z.","family":"Li","sequence":"additional","affiliation":[{"name":"University of Science and Technology,Institute of Systems Engineering,Macau,China"}]},{"given":"M.","family":"Mali\u0144ski","sequence":"additional","affiliation":[{"name":"University of Zielona Góra,Doctoral School of Exact and Technical Sciences,Zielona,Poland,65-762"}]},{"given":"A.","family":"Obuchowicz","sequence":"additional","affiliation":[{"name":"University of Zielona Góra,Institute of Control and Computation Engineering,Zielona,Poland,65-516"}]},{"given":"D.","family":"Konarczak","sequence":"additional","affiliation":[{"name":"University of Zielona Góra,Zielona,Poland,65-246"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-244-3"},{"key":"ref2","first-page":"2023","volume-title":"Application and Theory of Petri Nets and Concurrency: 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25\u201330, 2023, Proceedings","volume":"13929","author":"Gomes"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45811-3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/icsmc.2004.1399887"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/tsmc.2024.3372941"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2174\/97898153227051250101"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2007.4435036"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/smc53654.2022.9945425"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-33620-1_10"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/smc53992.2023.10394156"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.34768\/amcs-2021-0045"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3301304"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tsmc.2016.2531673"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.61822\/amcs-2024-0035"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/indin.2007.4384809"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3390\/app15020680"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/tsmc.2019.2894778"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/tsmc.2016.2598303"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/tsmca.2007.893484"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68353-4_47"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/smc53654.2022.9945341"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3390\/en16010067"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1142\/3376"}],"event":{"name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Vienna, Austria","start":{"date-parts":[[2025,10,5]]},"end":{"date-parts":[[2025,10,8]]}},"container-title":["2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11342430\/11342431\/11342612.pdf?arnumber=11342612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T20:52:59Z","timestamp":1770843179000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11342612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,5]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/smc58881.2025.11342612","relation":{},"subject":[],"published":{"date-parts":[[2025,10,5]]}}}