{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:03:10Z","timestamp":1769749390746,"version":"3.49.0"},"reference-count":41,"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.9945341","type":"proceedings-article","created":{"date-parts":[[2022,11,18]],"date-time":"2022-11-18T20:49:04Z","timestamp":1668804544000},"page":"1096-1102","source":"Crossref","is-referenced-by-count":9,"title":["Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems"],"prefix":"10.1109","author":[{"given":"Remigiusz","family":"Wisniewski","sequence":"first","affiliation":[{"name":"University of Zielona Góra,Institute of Control and Computation Engineering,Zielona Góra,Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justyna","family":"Patalas-Maliszewska","sequence":"additional","affiliation":[{"name":"University of Zielona Góra,Institute of Mechanical Engineering,Zielona Góra,Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Wojnakowski","sequence":"additional","affiliation":[{"name":"University of Zielona Góra,Institute of Control and Computation Engineering,Zielona Góra,Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Topczak","sequence":"additional","affiliation":[{"name":"University of Zielona Góra,Institute of Mechanical Engineering,Zielona Góra,Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.814503"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560425"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78288-7_8"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2019.8926908"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref30","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":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"key":"ref36","year":"2021","journal-title":"Material Pricing"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.2478\/amcs-2018-0019"},{"key":"ref34","first-page":"745","article-title":"Improving characteristics of LUT-based Mealy FSMs","volume":"30","author":"barkalov","year":"2020","journal-title":"AMCS"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2020.05.020"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-07520-9_7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2021.10.022"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.orp.2021.100201"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2021.01.271"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbusres.2020.05.052"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2020.10.084"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.108264"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2020.107052"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2020.02.095"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2022.108365"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2019.01.015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2014.10.090"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3390\/su12166669"},{"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":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2017.03.313"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2899316"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2017.12.172"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3390\/pr9112084"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.proeng.2012.01.361"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2022.01.361"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2011.03.007"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1123\/jab.2016-0356"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.12.172"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2019.10.006"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-642-68353-4_47","article-title":"A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net","author":"mart\u00ednez","year":"1982","journal-title":"Application and Theory of Petri Nets"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","article-title":"Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems","volume":"34","author":"li","year":"2004","journal-title":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3390\/s20195565"},{"key":"ref25","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"}],"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\/09945341.pdf?arnumber=9945341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:55:09Z","timestamp":1670874909000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9945341\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,9]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/smc53654.2022.9945341","relation":{},"subject":[],"published":{"date-parts":[[2022,10,9]]}}}