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, 2016 | 81 | 2016 |
Synthesis of Compositional Microprogram Control Units for Programmable Devices R Wiśniewski University of Zielona Góra, 2009 | 69* | 2009 |
Design of microprogrammed controllers to be implemented in FPGAs R Wiśniewski, A Barkalov, L Titarenko, WA Halang International Journal of Applied Mathematics and Computer Science 21 (2 …, 2011 | 49 | 2011 |
Prototyping of concurrent control systems implemented in FPGA devices R Wiśniewski Springer International Publishing, 2017 | 47 | 2017 |
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 | 46 | 2019 |
Prototyping of concurrent control systems with application of Petri nets and comparability graphs R Wiśniewski, A Karatkevich, M Adamski, A Costa, L Gomes IEEE Transactions on Control Systems Technology 26 (2), 575-586, 2017 | 43 | 2017 |
Dynamic partial reconfiguration of concurrent control systems specified by Petri nets and implemented in Xilinx FPGA devices R Wiśniewski IEEE Access 6, 32376-32391, 2018 | 35 | 2018 |
Dynamic partial reconfiguration of concurrent control systems implemented in FPGA devices R Wiśniewski, G Bazydło, L Gomes, A Costa IEEE Transactions on Industrial Informatics 13 (4), 1734-1741, 2017 | 32 | 2017 |
Determinism in cyber-physical systems specified by interpreted Petri nets R Wisniewski, I Grobelna, A Karatkevich Sensors 20 (19), 5565, 2020 | 28 | 2020 |
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 | 27 | 2021 |
C-exact hypergraphs in concurrency and sequentiality analyses of cyber-physical systems specified by safe Petri nets R Wiśniewski, M Wiśniewska, M Jarnut IEEE Access 7, 13510-13522, 2019 | 26 | 2019 |
Application of comparability graphs in decomposition of Petri nets R Wiśniewski, A Karatkevich, M Adamski, D Kur 2014 7th International Conference on Human System Interactions (HSI), 216-220, 2014 | 26 | 2014 |
Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs R Wiśniewski, Ł Stefanowicz, A Bukowiec, J Lipiński Multimedia and ubiquitous engineering, 371-376, 2014 | 26 | 2014 |
Benefits of hardware accelerated simulation R Wiśniewski, A Bukowiec, M Węgrzyn Proceedings of the International Workshop Discrete-Event System Design …, 2001 | 25 | 2001 |
A polynomial-time algorithm to obtain state machine cover of live and safe Petri nets AG Karatkevich, R Wiśniewski IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (10), 3592-3597, 2019 | 23 | 2019 |
Low-cost FPGA hardware implementation of matrix converter switch control R Wiśniewski, G Bazydło, P Szcześniak IEEE Transactions on Circuits and Systems II: Express Briefs 66 (7), 1177-1181, 2018 | 22 | 2018 |
Application of hypergraphs to SMCs selection Ł Stefanowicz, M Adamski, R Wiśniewski, J Lipiński Technological Innovation for Collective Awareness Systems: 5th IFIP WG 5.5 …, 2014 | 21 | 2014 |
Trusted and secure blockchain-based architecture for Internet-of-Medical-Things A Bhattacharjya, K Kozdrój, G Bazydło, R Wisniewski Electronics 11 (16), 2560, 2022 | 20 | 2022 |
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 |
Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems M Wojnakowski, R Wiśniewski Doctoral Conference on Computing, Electrical and Industrial Systems, 83-91, 2021 | 19 | 2021 |