| Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation R Wiśniewski, G Bazydło, P Szcześniak, M Wojnakowski IEEE Access 7, 23407-23420, 2019 | 43 | 2019 |
| Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems M Wojnakowski, R Wiśniewski, G Bazydło, M Popławski International Journal of Applied Mathematics and Computer Science 31 (4), 2021 | 23 | 2021 |
| 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 | 16 | 2019 |
| Verification of the boundedness property in a Petri net-based specification of the control part of cyber-physical systems M Wojnakowski, R Wiśniewski Technological Innovation for Applied AI Systems: 12th IFIP WG 5.5/SOCOLNET …, 2021 | 15 | 2021 |
| 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 | 15 | 2019 |
| Decomposition of distributed edge systems based on the Petri nets and linear algebra technique R Wiśniewski, A Karatkevich, M Wojnakowski Journal of Systems Architecture 96, 20-31, 2019 | 15 | 2019 |
| Design optimization of the Petri net-based production process supported by additive manufacturing technologies J Patalas-Maliszewska, R Wiśniewski, M Topczak, M Wojnakowski Bulletin of the Polish Academy of Sciences Technical Sciences, e140693-e140693, 2022 | 14 | 2022 |
| Analysis and design automation of cyber-physical system with hippo and IOPT-tools R Wiśniewski, G Bazydło, L Gomes, A Costa, M Wojnakowski IECON 2019-45th Annual Conference of the IEEE Industrial Electronics Society …, 2019 | 14 | 2019 |
| Design and verification of petri-net-based cyber-physical systems oriented toward implementation in field-programmable gate arrays—a case study example R Wiśniewski, M Wojnakowski, Z Li Energies 16 (1), 67, 2022 | 13 | 2022 |
| Hippo-CPS: verification of boundedness, safeness and liveness of Petri net-based cyber-physical systems M Wojnakowski, M Popławski, R Wiśniewski, G Bazydło Doctoral Conference on Computing, Electrical and Industrial Systems, 74-82, 2022 | 10 | 2022 |
| Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems J Patalas-Maliszewska, R Wiśniewski, M Topczak, M Wojnakowski 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 1-9, 2022 | 8 | 2022 |
| Safety analysis of Petri nets based on the SM-cover computed with the linear algebra technique R Wisniewski, M Wojnakowski, Ł Stefanowicz AIP Conference Proceedings 2040 (1), 080008, 2018 | 8 | 2018 |
| Analysis of control part of cyber-physical systems specified by interpreted Petri nets M Wojnakowski, R Wiśniewski, M Popławski, G Bazydło 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2022 | 6 | 2022 |
| Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems R Wiśniewski, J Patalas-Maliszewska, M Wojnakowski, M Topczak 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2022 | 4 | 2022 |
| Reachability tree in liveness analysis of Petri net-based cyber-physical systems M Popławski, M Wojnakowski, G Bazydło, R Wiśniewski AIP Conference Proceedings 2611 (1), 2022 | 3 | 2022 |
| Safeness analysis of Petri net-based cyber-physical systems based on the linear algebra and parallel reductions M Wojnakowski, M Popławski, R Wiśniewski, G Bazydło AIP Conference Proceedings 2611 (1), 2022 | 2 | 2022 |
| Modeling and Analysis of a Petri Net-Based System Supporting Implementation of Additive Manufacturing Technologies R Wiśniewski, J Patalas-Maliszewska, M Wojnakowski, M Topczak IEEE Transactions on Automation Science and Engineering, 2023 | 1 | 2023 |
| Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets M Popławski, M Wojnakowski, R Wiśniewski, G Bazydło AIP Conference Proceedings 3030 (1), 2024 | | 2024 |
| Bounded and place invariant-covered Petri nets for cyber-physical systems specification M Wojnakowski, R Wiśniewski, M Popławski AIP Conference Proceedings 3030 (1), 2024 | | 2024 |
| Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study R Wiśniewski, J Patalas-Maliszewska, M Wojnakowski, M Topczak, ... 2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2023 | | 2023 |
Remigiusz WiśniewskiUniversity of Zielona GóraZweryfikowany adres z issi.uz.zgora.pl
