{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:43:42Z","timestamp":1780674222210,"version":"3.54.1"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004442","name":"National Science Centre, Poland","doi-asserted-by":"publisher","award":["2019\/35\/B\/ST6\/01683"],"award-info":[{"award-number":["2019\/35\/B\/ST6\/01683"]}],"id":[{"id":"10.13039\/501100004442","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,1]]},"DOI":"10.1109\/smc53992.2023.10394156","type":"proceedings-article","created":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T18:32:04Z","timestamp":1706553124000},"page":"3316-3322","source":"Crossref","is-referenced-by-count":10,"title":["Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6829-2263","authenticated-orcid":false,"given":"Remigiusz","family":"Wi\u015bniewski","sequence":"first","affiliation":[{"name":"Institute of Control and Computation Engineering, Univ. of Zielona Góra,Zielona Góra,Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2439-2865","authenticated-orcid":false,"given":"Justyna","family":"Patalas-Maliszewska","sequence":"additional","affiliation":[{"name":"Inst. of Mechanical Eng., Univ. of Zielona Góra,Zielona Góra,Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9830-9262","authenticated-orcid":false,"given":"Marcin","family":"Wojnakowski","sequence":"additional","affiliation":[{"name":"Institute of Control and Computation Engineering, University of Zielona Góra,Zielona Góra,Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2277-144X","authenticated-orcid":false,"given":"Marcin","family":"Topczak","sequence":"additional","affiliation":[{"name":"The Doctoral School of Exact and Techn. Sciences, University of Zielona Góra,Zielona Góra,Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology,ECE Department,Newark,NJ,USA,07102"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3215258"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-12-818411-0.00009-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2018.11.007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1108\/scm-04-2021-0152"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jclepro.2020.125612"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2020.107956"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-323-91614-1.00001-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2013.07.008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2022.116908"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2022.103798"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.cesys.2021.100042"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2022.108573"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2022.108677"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2899316"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3390\/en14217054"},{"key":"ref17","volume-title":"Introduction to Embedded Systems: A Cyber-Physical Systems Approach","author":"Lee","year":"2016"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2894778"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2020.09.306"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45811-3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511526558"},{"issue":"4","key":"ref22","first-page":"647","article-title":"Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems","volume":"31","author":"Wojnakowski","year":"2021","journal-title":"Appl. Math. Comput. Sci."},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SMC53654.2022.9945425"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-07520-9_7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78288-7_8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.24425\/bpasts.2022.140693"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZ-IEEE55066.2022.9882766"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SMC53654.2022.9945341"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3390\/en16010067"},{"issue":"1","key":"ref32","first-page":"51","article-title":"A Feasible Schedule for Parallel Assembly Tasks in Flexible Manufacturing Systems","volume":"32","author":"Majdzik","year":"2022","journal-title":"Int. J. Appl. Math. Co mput. Sci."},{"issue":"3","key":"ref33","doi-asserted-by":"crossref","first-page":"345","DOI":"10.34768\/amcs-2022-0025","article-title":"Modelling Information for the Burnishing Process in a Cyber-Physical Production System","volume":"32","author":"Patalas-Maliszewska","year":"2022","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06653-5_7"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530876"},{"key":"ref37","article-title":"PIPE v2. 5: A Petri net tool for performance modelling","volume-title":"Proc. of the 23rd Latin American Conf. on Informatics","author":"Knottenbelt","year":"2021"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76983-3_11"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_22"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_19"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-72822-8_28"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"}],"event":{"name":"2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Honolulu, Oahu, HI, USA","start":{"date-parts":[[2023,10,1]]},"end":{"date-parts":[[2023,10,4]]}},"container-title":["2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10391856\/10393862\/10394156.pdf?arnumber=10394156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,9]],"date-time":"2024-11-09T13:03:35Z","timestamp":1731157415000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10394156\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,1]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/smc53992.2023.10394156","relation":{},"subject":[],"published":{"date-parts":[[2023,10,1]]}}}