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 | 87 | 2017 |
Challenges in application of Petri nets in manufacturing systems I Grobelna, A Karatkevich Electronics 10 (18), 2305, 2021 | 43 | 2021 |
Formal verification of embedded logic controller specification with computer deduction in temporal logic I Grobelna Przeglad Elektrotechniczny 87 (12a), 47-50, 2011 | 37 | 2011 |
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 | 35 | 2010 |
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 | 31 | 2014 |
Determinism in cyber-physical systems specified by interpreted Petri nets R Wisniewski, I Grobelna, A Karatkevich Sensors 20 (19), 5565, 2020 | 30 | 2020 |
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 | 24 | 2012 |
Model checking of control interpreted Petri nets I Grobelna, M Adamski Proceedings of the 18th International Conference Mixed Design of Integrated …, 2011 | 22 | 2011 |
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 | 20 | 2014 |
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 | 17 | 2019 |
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 | 16 | 2019 |
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 | 15 | 2014 |
Model checking of reconfigurable FPGA modules specified by Petri nets I Grobelna Journal of Systems Architecture 89, 1-9, 2018 | 14 | 2018 |
Overview of control algorithm verification methods in power electronics systems P Szcześniak, I Grobelna, M Novak, U Nyman Energies 14 (14), 4360, 2021 | 13 | 2021 |
Formal verification of control modules in cyber-physical systems I Grobelna Sensors 20 (18), 5154, 2020 | 13 | 2020 |
Interpreted petri nets applied to autonomous components within electric power systems I Grobelna, P Szcześniak Applied Sciences 12 (9), 4772, 2022 | 10 | 2022 |
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 | 10 | 2018 |
Formal verification of logic controller specification by means of model checking I Grobelna University of Zielona Góra Press, 2013 | 9 | 2013 |
Formal verification of logic controller specification using NuSMV model checker I Grobelna X International PhD Workshop OWD. Conference Archives PTETiS 25, 459-464, 2008 | 9 | 2008 |
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 | 6 | 2022 |