| Dynamic analysis of Petri net-based discrete systems A Karatkevich Springer Science & Business Media, 2007 | 160 | 2007 |
| Design of embedded control systems MA Adamski, A Karatkevich, M Wegrzyn Springer, 2005 | 106 | 2005 |
| Challenges in application of Petri nets in manufacturing systems I Grobelna, A Karatkevich Electronics 10 (18), 2305, 2021 | 45 | 2021 |
| 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 |
| Detection of deadlocks and traps in Petri nets by means of Thelen's prime implicant method A Węgrzyn, A Karatkevich, J Bieganowski International Journal of Applied Mathematics and Computer Science 14 (1 …, 2004 | 41 | 2004 |
| Implementing a Petri net specification in a FPGA using VHDL MA Adamski, A Karatkevich, M Wegrzyn, E Soto, M Pereira Design of embedded control systems, 167-174, 2005 | 35 | 2005 |
| Determinism in cyber-physical systems specified by interpreted Petri nets R Wisniewski, I Grobelna, A Karatkevich Sensors 20 (19), 5565, 2020 | 30 | 2020 |
| The influence of functional decomposition on modern digital design process MA Adamski, A Karatkevich, M Wegrzyn, M Rawski, T Łuba, Z Jachna, ... Design of Embedded Control Systems, 193-204, 2005 | 29 | 2005 |
| 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 |
| Design of embedded control systems using hybrid Petri nets T Hummel, W Fengler Design of Embedded Control Systems, 139-149, 2005 | 26 | 2005 |
| 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 | 25 | 2019 |
| Finite state machine implementation in FPGAs MA Adamski, A Karatkevich, M Wegrzyn, H Kubátová Design of Embedded Control Systems, 175-184, 2005 | 21 | 2005 |
| Structuring mechanisms in Petri net models: From specification to FPGA-based implementations MA Adamski, A Karatkevich, M Wegrzyn, L Gomes, JP Barros, A Costa Design of embedded control systems, 153-166, 2005 | 20 | 2005 |
| Hierarchical Petri nets for digital controller design MA Adamski, A Karatkevich, M Wegrzyn, G Andrzejewski Design of embedded control systems, 27-36, 2005 | 18 | 2005 |
| 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 | 17 | 2019 |
| On macroplaces in Petri nets A Karatkevich Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08), 418-422, 2008 | 16 | 2008 |
| 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 |
| Deadlock Analysis in Statecharts. A Karatkevich FDL, 414-425, 2003 | 15 | 2003 |
| Formal logic design of reprogrammable controllers MA Adamski, A Karatkevich, M Wegrzyn, M Adamski Design of embedded control systems, 15-26, 2005 | 14 | 2005 |
| Analysis by Solving Logical Equations—Calculation of Siphons and Traps A Karatkevich Dynamic Analysis of Petri Net-Based Discrete Systems, 87-93, 2007 | 10 | 2007 |
Marian AdamskiUniwersity of Zielona GóraVerified email at iie.uz.zgora.pl