Follow
Iwona Grobelna
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
802017
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
342010
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
302014
Challenges in application of Petri nets in manufacturing systems
I Grobelna, A Karatkevich
Electronics 10 (18), 2305, 2021
292021
Determinism in cyber-physical systems specified by interpreted Petri nets
R Wisniewski, I Grobelna, A Karatkevich
Sensors 20 (19), 5565, 2020
272020
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
232012
Model checking of control interpreted Petri nets
I Grobelna, M Adamski
Proceedings of the 18th International Conference Mixed Design of Integrated …, 2011
212011
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
152019
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
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
132019
Model checking of reconfigurable FPGA modules specified by Petri nets
I Grobelna
Journal of Systems Architecture 89, 1-9, 2018
122018
Overview of control algorithm verification methods in power electronics systems
P Szcześniak, I Grobelna, M Novak, U Nyman
Energies 14 (14), 4360, 2021
112021
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 control modules in cyber-physical systems
I Grobelna
Sensors 20 (18), 5154, 2020
92020
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
Design and Verification of Distributed Logic Controllers with Application of Petri Nets
R Wiśniewski, I Grobelna, M Grobelny, M Wiśniewska
International Conference of Computational Methods in Sciences and …, 2015
82015
Interpreted petri nets applied to autonomous components within electric power systems
I Grobelna, P Szcześniak
Applied Sciences 12 (9), 4772, 2022
62022
The system can't perform the operation now. Try again later.
Articles 1–20