Follow
Iwona Grobelna
Iwona Grobelna
Associate Professor, University of Zielona Góra
Verified email at iee.uz.zgora.pl
Title
Cited by
Cited by
Year
Design and Verification of Real-Life Processes With Application of Petri Nets
I Grobelna, R Wisniewski, M Grobelny, M Wisniewska
IEEE Transactions on Systems, Man, and Cybernetics: Systems 47 (11), 2856 - 2869, 2017
872017
Challenges in application of Petri nets in manufacturing systems
I Grobelna, A Karatkevich
Electronics 10 (18), 2305, 2021
432021
Formal verification of embedded logic controller specification with computer deduction in temporal logic
I Grobelna
Przeglad Elektrotechniczny 87 (12a), 47-50, 2011
372011
Petri Nets and activity diagrams in logic controller specification-transformation and verification
I Grobelna, M Grobelny, M Adamski
Proceedings of the 17th International Conference Mixed Design of Integrated …, 2010
352010
Model checking of UML activity diagrams in logic controllers design
I Grobelna, M Grobelny, M Adamski
Proceedings of the Ninth International Conference on Dependability and …, 2014
312014
Determinism in cyber-physical systems specified by interpreted Petri nets
R Wisniewski, I Grobelna, A Karatkevich
Sensors 20 (19), 5565, 2020
302020
Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams
M Grobelny, I Grobelna, M Adamski
Proceedings of 11th IFAC/IEEE International Conference on Programmable …, 2012
242012
Model checking of control interpreted Petri nets
I Grobelna, M Adamski
Proceedings of the 18th International Conference Mixed Design of Integrated …, 2011
222011
Decomposition, validation and documentation of control process specification in form of a Petri net
I Grobelna, M Wiśniewska, R Wiśniewski, M Grobelny, P Mróz
2014 7th International Conference on Human System Interactions (HSI), 232-237, 2014
202014
Design and verification of cyber-physical systems specified by petri nets—a case study of a direct matrix converter
R Wisniewski, G Bazydło, P Szcześniak, I Grobelna, M Wojnakowski
Mathematics 7 (9), 812, 2019
172019
Specification of cyber-physical systems with the application of interpreted nets
I Grobelna, R Wiśniewski, M Wojnakowski
IECON 2019-45th Annual Conference of the IEEE Industrial Electronics Society …, 2019
162019
Deadlock detection in Petri nets: One trace for one deadlock?
A Karatkevich, I Grobelna
2014 7th International Conference on Human System Interactions (HSI), 227-231, 2014
152014
Model checking of reconfigurable FPGA modules specified by Petri nets
I Grobelna
Journal of Systems Architecture 89, 1-9, 2018
142018
Overview of control algorithm verification methods in power electronics systems
P Szcześniak, I Grobelna, M Novak, U Nyman
Energies 14 (14), 4360, 2021
132021
Formal verification of control modules in cyber-physical systems
I Grobelna
Sensors 20 (18), 5154, 2020
132020
Interpreted petri nets applied to autonomous components within electric power systems
I Grobelna, P Szcześniak
Applied Sciences 12 (9), 4772, 2022
102022
Design of Multi-Context Reconfigurable Logic Controllers Implemented in FPGA Devices Oriented for Further Partial Reconfiguration
R Wisniewski, I Grobelna
Journal of Circuits, Systems and Computers 27 (06), 1850086, 2018
102018
Formal verification of logic controller specification by means of model checking
I Grobelna
University of Zielona Góra Press, 2013
92013
Formal verification of logic controller specification using NuSMV model checker
I Grobelna
X International PhD Workshop OWD. Conference Archives PTETiS 25, 459-464, 2008
92008
A deadlock recovery policy for flexible manufacturing systems with minimized traversing within reachability graph
I Grobelna, A Karatkevich
2022 21st International Symposium INFOTEH-JAHORINA (INFOTEH), 1-6, 2022
62022
The system can't perform the operation now. Try again later.
Articles 1–20