Iwona Grobelna

20 papers C 4Journal 12Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Novel Approach to the Collatz Conjecture with Petri Nets. Inf. David Mailland, Iwona Grobelna
2025	—	`conf`	Deadlock-Prone Circuits in S EUROCON Andrei Karatkevich, Iwona Grobelna
2023	J	`jnl`	Help students learn interpreted Petri nets with Minecraft. Informatics Educ. Iwona Grobelna, Malgorzata Mazurkiewicz, Damian Janus
2023	J	`jnl`	Intelligent Industrial Process Control Systems. Sensors Iwona Grobelna
2023	J	`jnl`	Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled Matrix Converters. IEEE Trans. Ind. Electron. Mateja Novak, Iwona Grobelna, Ulrik Nyman, Pawel Szczesniak, Frede Blaabjerg
2022	C	`conf`	A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems. ICARCV Andrei Karatkevich, Iwona Grobelna
2022	J	`jnl`	Internet of Things and Cyber-Physical Systems. Future Internet Iwona Grobelna
2022	J	`jnl`	Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. Sensors Iwona Grobelna, Pawel Szczesniak
2020	J	`jnl`	Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. Sensors Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich
2020	J	`jnl`	Formal Verification of Control Modules in Cyber-Physical Systems. Sensors Iwona Grobelna
2020	J	`jnl`	Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems. Informatics Educ. Iwona Grobelna
2019	C	`conf`	Specification of Cyber-Physical Systems with the Application of Interpreted Nets. IECON Iwona Grobelna, Remigiusz Wisniewski, Marcin Wojnakowski
2018	J	`jnl`	Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration. J. Circuits Syst. Comput. Remigiusz Wisniewski, Iwona Grobelna
2018	J	`jnl`	Model checking of reconfigurable FPGA modules specified by Petri nets. J. Syst. Archit. Iwona Grobelna
2017	J	`jnl`	Design and Verification of Real-Life Processes With Application of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. Iwona Grobelna, Remigiusz Wisniewski, Michal Grobelny, Monika Wisniewska
2015	—	`conf`	Logic controller design system supporting UML activity diagrams. MIXDES Michal Grobelny, Iwona Grobelna
2014	C	`conf`	Deadlock detection in Petri nets: One trace for one deadlock? HSI Andrei Karatkevich, Iwona Grobelna
2014	C	`conf`	Decomposition, validation and documentation of control process specification in form of a Petri net. HSI Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz
2014	—	`conf`	Model Checking of UML Activity Diagrams in Logic Controllers Design. DepCoS-RELCOMEX Iwona Grobelna, Michal Grobelny, Marian Adamski
2012	—	`conf`	Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams. PDeS Michal Grobelny, Iwona Grobelna, Marian Adamski