Dynamic analysis of Petri net-based discrete systems A Karatkevich Springer Science & Business Media, 2007 | 156 | 2007 |
Design of embedded control systems MA Adamski, A Karatkevich, M Wegrzyn Springer, 2005 | 109 | 2005 |
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 |
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 | 36 | 2005 |
Challenges in application of Petri nets in manufacturing systems I Grobelna, A Karatkevich Electronics 10 (18), 2305, 2021 | 33 | 2021 |
Determinism in cyber-physical systems specified by interpreted Petri nets R Wisniewski, I Grobelna, A Karatkevich Sensors 20 (19), 5565, 2020 | 27 | 2020 |
Design of embedded control systems using hybrid Petri nets T Hummel, W Fengler Design of Embedded Control Systems, 139-149, 2005 | 27 | 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 |
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 |
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 | 17 | 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 | 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 |
On macroplaces in Petri nets A Karatkevich Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08), 418-422, 2008 | 15 | 2008 |
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 |
On algorithms for decyclisation of oriented graphs A Karatkevich Proc. Int. Workshop on Discrete-Event System Design, DESDes 1, 35-40, 2001 | 12 | 2001 |
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 |