A Novel Approach to the Collatz Conjecture with Petri Nets.

Iwona Grobelna

David Mailland Iwona Grobelna A Novel Approach to the Collatz Conjecture with Petri Nets. 745 2025 16 Inf. 9 https://doi.org/10.3390/info16090745 db/journals/information/information16.html#MaillandG25 streams/journals/information

Andrei Karatkevich Iwona Grobelna Deadlock-Prone Circuits in S<sup>3</sup>PR Petri Nets. 1-5 2025 EUROCON https://doi.org/10.1109/EUROCON64445.2025.11073308 conf/eurocon/2025 db/conf/eurocon/eurocon2025.html#KaratkevichG25

Iwona Grobelna Malgorzata Mazurkiewicz Damian Janus Help students learn interpreted Petri nets with Minecraft. 257-276 2023 22 Informatics Educ. 2 https://doi.org/10.15388/infedu.2023.13 https://www.wikidata.org/entity/Q117548594 db/journals/iie/iie22.html#GrobelnaMJ23

Iwona Grobelna Intelligent Industrial Process Control Systems. 6838 2023 August 23 Sensors 15 https://doi.org/10.3390/s23156838 db/journals/sensors/sensors23.html#Grobelna23

Mateja Novak Iwona Grobelna Ulrik Nyman Pawel Szczesniak Frede Blaabjerg Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters. 8613-8623 2023 September 70 IEEE Trans. Ind. Electron. 9 https://doi.org/10.1109/TIE.2022.3206699 db/journals/tie/tie70.html#NovakGNSB23

Iwona Grobelna Internet of Things and Cyber-Physical Systems. 337 2022 14 Future Internet 11 https://doi.org/10.3390/fi14110337 db/journals/fi/fi14.html#Grobelna22

Iwona Grobelna Pawel Szczesniak Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. 6936 2022 22 Sensors 18 https://doi.org/10.3390/s22186936 db/journals/sensors/sensors22.html#GrobelnaS22

Andrei Karatkevich Iwona Grobelna A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems. 545-552 2022 ICARCV https://doi.org/10.1109/ICARCV57592.2022.10004357 conf/icarcv/2022 db/conf/icarcv/icarcv2022.html#KaratkevichG22

Iwona Grobelna Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems. 223-238 2020 19 Informatics Educ. 2 https://doi.org/10.15388/infedu.2020.11 db/journals/iie/iie19.html#Grobelna20

Iwona Grobelna Formal Verification of Control Modules in Cyber-Physical Systems. 5154 2020 20 Sensors 18 https://doi.org/10.3390/s20185154 https://www.wikidata.org/entity/Q99413890 db/journals/sensors/sensors20.html#Grobelna20

Remigiusz Wisniewski Iwona Grobelna Andrei Karatkevich Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. 5565 2020 20 Sensors 19 https://doi.org/10.3390/s20195565 https://www.wikidata.org/entity/Q100392921 db/journals/sensors/sensors20.html#WisniewskiGK20

Iwona Grobelna Remigiusz Wisniewski Marcin Wojnakowski Specification of Cyber-Physical Systems with the Application of Interpreted Nets. 5887-5891 2019 IECON https://doi.org/10.1109/IECON.2019.8926908 conf/iecon/2019 db/conf/iecon/iecon2019.html#GrobelnaWW19

Remigiusz Wisniewski Iwona Grobelna Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration. 1850086:1-1850086:26 2018 27 J. Circuits Syst. Comput. 6 https://doi.org/10.1142/S021812661850086X https://www.wikidata.org/entity/Q58641548 db/journals/jcsc/jcsc27.html#WisniewskiG18

Iwona Grobelna Model checking of reconfigurable FPGA modules specified by Petri nets. 1-9 2018 89 J. Syst. Archit. https://doi.org/10.1016/j.sysarc.2018.06.005 db/journals/jsa/jsa89.html#Grobelna18

Iwona Grobelna Remigiusz Wisniewski Michal Grobelny Monika Wisniewska Design and Verification of Real-Life Processes With Application of Petri Nets. 2856-2869 2017 47 IEEE Trans. Syst. Man Cybern. Syst. 11 https://doi.org/10.1109/TSMC.2016.2531673 https://www.wikidata.org/entity/Q58641560 db/journals/tsmc/tsmc47.html#GrobelnaWGW17

Michal Grobelny Iwona Grobelna Logic controller design system supporting UML activity diagrams. 624-627 2015 MIXDES https://doi.org/10.1109/MIXDES.2015.7208599 conf/mixdes/2015 db/conf/mixdes/mixdes2015.html#GrobelnyG15 Iwona Grobelna Michal Grobelny Marian Adamski Model Checking of UML Activity Diagrams in Logic Controllers Design. 233-242 2014 DepCoS-RELCOMEX https://doi.org/10.1007/978-3-319-07013-1_22 conf/depcos/2014 db/conf/depcos/depcos2014.html#GrobelnaGA14 Andrei Karatkevich Iwona Grobelna Deadlock detection in Petri nets: One trace for one deadlock? 227-231 2014 HSI https://doi.org/10.1109/HSI.2014.6860480 conf/hsi/2014 db/conf/hsi/hsi2014.html#KaratkevichG14 Iwona Grobelna Monika Wisniewska Remigiusz Wisniewski Michal Grobelny Piotr Mroz Decomposition, validation and documentation of control process specification in form of a Petri net. 232-237 2014 HSI https://doi.org/10.1109/HSI.2014.6860481 https://www.wikidata.org/entity/Q58641583 conf/hsi/2014 db/conf/hsi/hsi2014.html#GrobelnaWWGM14 Michal Grobelny Iwona Grobelna Marian Adamski Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams. 134-139 2012 PDeS https://doi.org/10.3182/20120523-3-CZ-3015.00028 conf/pdes/2012 db/conf/pdes/pdes2012.html#GrobelnyGA12 Marian Adamski Frede Blaabjerg Michal Grobelny Damian Janus Andrei Karatkevich David Mailland Malgorzata Mazurkiewicz Piotr Mroz Mateja Novak Ulrik Nyman Pawel Szczesniak Monika Wisniewska Remigiusz Wisniewski Marcin Wojnakowski