{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:22:37Z","timestamp":1769746957399,"version":"3.49.0"},"reference-count":44,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T00:00:00Z","timestamp":1665273600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,9]],"date-time":"2022-10-09T00:00:00Z","timestamp":1665273600000},"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":[[2022,10,9]]},"DOI":"10.1109\/smc53654.2022.9945425","type":"proceedings-article","created":{"date-parts":[[2022,11,18]],"date-time":"2022-11-18T20:49:04Z","timestamp":1668804544000},"page":"1090-1095","source":"Crossref","is-referenced-by-count":7,"title":["Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets"],"prefix":"10.1109","author":[{"given":"Marcin","family":"Wojnakowski","sequence":"first","affiliation":[{"name":"Institute of Control and Computation Engineering, University of Zielona Góra,Zielona Góra,Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Remigiusz","family":"Wisniewski","sequence":"additional","affiliation":[{"name":"Institute of Control and Computation Engineering, University of Zielona Góra,Zielona Góra,Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mateusz","family":"Poplawski","sequence":"additional","affiliation":[{"name":"Institute of Control and Computation Engineering, University of Zielona Góra,Zielona Góra,Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz","family":"Bazydlo","sequence":"additional","affiliation":[{"name":"Institute of Control and Computation Engineering, University of Zielona Góra,Zielona Góra,Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2894778"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55676-1_4"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2836858"},{"key":"ref32","article-title":"Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays","volume":"14","author":"wi?niewski","year":"2021","journal-title":"Energies"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.2478\/amcs-2018-0046"},{"key":"ref30","first-page":"745","article-title":"Improving characteristics of LUT-based Mealy FSMs","volume":"30","author":"barkalov","year":"2020","journal-title":"AMCS"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90299-U"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/11527862_11"},{"key":"ref34","article-title":"The reachability problem requires exponential space","author":"lipton","year":"1976","journal-title":"Yale University"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"ref40","first-page":"140693e","article-title":"Design optimization of the Petri net-based pro-duction process supported by additive manu-facturing technologies","author":"patalas-maliszewska","year":"0","journal-title":"Bulletin of the Polish Academy of Sciences Technical Sciences"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02983861"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2058101"},{"key":"ref13","first-page":"38","article-title":"Quantitative petri net model of gene regulated metabolic networks in the cell","volume":"162","author":"chen","year":"2011","journal-title":"Stud Health Technol Inform"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2019.8926692"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2018.2875589"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MCS.2011.942051","article-title":"The Impact of Control Technology","volume":"31","author":"samad","year":"2011","journal-title":"IEEE Control Systems Magazine"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194017400010"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2019.8926908"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3390\/s20195565"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-030-78288-7_8","volume":"626","author":"wojnakowski","year":"2021","journal-title":"Technological Innovation for Applied AI Systems IFIP Advances in Information and Communication Technology"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref27","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":"AMCS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2020.09.306"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/PESMG.2013.6672537"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2677859"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cps.2016.0025"},{"key":"ref8","first-page":"185","article-title":"A Multi–Model Based Adaptive Reconfiguration Control Scheme for an Electro–Hydraulic Position Servo System","volume":"32","author":"zhang","year":"2022","journal-title":"AMCS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SUTC.2008.85"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/SICE.2017.8105497"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"key":"ref1","author":"lee","year":"2016","journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45811-3"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICMC.2014.7232002"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/INDIN.2007.4384809","article-title":"The Input-Output Place-Transition Petri Net Class and Associated Tools","volume":"1","author":"gomes","year":"2007","journal-title":"2007 5th IEEE International Conference on Industrial Informatics"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9_6"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2692204"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2531673"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530881"},{"key":"ref26","author":"karatkevich","year":"2007","journal-title":"Dynamic Analysis of Petri Net-Based Discrete Systems"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68353-4_47"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2007.4460403"}],"event":{"name":"2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Prague, Czech Republic","start":{"date-parts":[[2022,10,9]]},"end":{"date-parts":[[2022,10,12]]}},"container-title":["2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9945068\/9945069\/09945425.pdf?arnumber=9945425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:54:23Z","timestamp":1670874863000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9945425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,9]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/smc53654.2022.9945425","relation":{},"subject":[],"published":{"date-parts":[[2022,10,9]]}}}