Andrei Karatkevich
Title
Cited by
Cited by
Year
Dynamic analysis of Petri net-based discrete systems
A Karatkevich
Springer Science & Business Media, 2007
1212007
Design of embedded control systems
MA Adamski, A Karatkevich, M Wegrzyn
Springer, 2005
1002005
Detection of deadlocks and traps in Petri nets by means of Thelen's prime implicant method
A Wegrzyn, A Karatkevich, J Bieganowski
International Journal of Applied Mathematics and Computer Science 14 (1 …, 2004
402004
Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic Controller
M Chmiel, E Hrynkiewicz
Design of Embedded Control Systems, 231-242, 2005
222005
Structuring mechanisms in Petri net models
L Gomes, JP Barros, A Costa
Design of embedded control systems, 153-166, 2005
212005
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
202014
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
152017
Deadlock Analysis in Statecharts.
A Karatkevich
FDL, 414-425, 2003
142003
On macroplaces in Petri nets
A Karatkevich
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08), 418-422, 2008
132008
On algorithms for decyclisation of oriented graphs
A Karatkevich
Proc. Int. Workshop on Discrete-Event System Design, DESDes 1, 35-40, 2001
122001
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
112014
Analysis by Solving Logical Equations—Calculation of Siphons and Traps
A Karatkevich
Dynamic Analysis of Petri Net-Based Discrete Systems, 87-93, 2007
102007
A method of analysis of operational Petri nets
A Zakrevskij, A Karatkevich, M Adamski
Advanced Computer Systems, 449-460, 2002
102002
Rapid correctness analysis for sequential function chart
A Karatkevich, M Adamski, M Wegrzyn
Proceedings of the 45th International Scientific Colloquium, IWK, 2000
82000
FPGA-based embedded logic controllers
M Węgrzyn, M Adamski, A Karatkevich, AR Munoz
2014 7th International Conference on Human System Interactions (HSI), 249-254, 2014
72014
Modelowanie procesów produkcyjnych z wykorzystaniem diagramów aktywności języka UML i sieci Petriego
A Lasota, A Karatkevich
Akademicka Oficyna Wydawnicza EXIT, 2012
72012
Hierarchical decomposition of Petri nets for digital microsystems design
A Karatkevich, G Andrzejewski
Proc. of TCSET, 518-521, 2006
72006
Heuristics for Thelen’s prime implicant method
J Bieganowski, A Karatkevich
Schedae Informaticae 14, 125-125, 2005
72005
Analysis of the operational Petri nets by a distributed system
AG Karatkevich, T Gratkowski
Proceedings of the International Conference Modern Problems of Radio …, 2004
72004
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
62019
The system can't perform the operation now. Try again later.
Articles 1–20