Andrei Karatkevich

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 7

Top Topics

Manufacturing Systems

Top Venues

IEEE Trans. Control. Syst. Technol.

Publications

Andrei Karatkevich, Iwona Grobelna
A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems. ICARCV (2022)
Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich
Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment. IEEE Access 10 (2022)
Andrei Karatkevich, Remigiusz Wisniewski
A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. Sensors 20 (19) (2020)
Andrei Karatkevich, Lukasz Stefanowicz
Minimization of SM-Covers of Petri Net Specifications of Control Systems. MIXDES (2019)
Remigiusz Wisniewski, Andrei Karatkevich, Lukasz Stefanowicz, Marcin Wojnakowski
Decomposition of distributed edge systems based on the Petri nets and linear algebra technique. J. Syst. Archit. 96 (2019)
Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. 26 (2) (2018)
Andrei Karatkevich, Iwona Grobelna
Deadlock detection in Petri nets: One trace for one deadlock? HSI (2014)
Marek Wegrzyn, Marian Adamski, Andrei Karatkevich, Alfredo Rosado Muñoz
FPGA-based embedded Logic Controllers. HSI (2014)
Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Daniel Kur
Application of comparability graphs in decomposition of Petri nets. HSI (2014)
Andrei Karatkevich, Grzegorz Labiak
Detection of Possible Frozen States in Communicating UML State Machines. PDeS (2013)
Andrei Karatkevich
Petri Net based Approach to Test Bench Constructing for Datapath. PECCS (2011)
Andrei Karatkevich
On macroplaces in Petri nets. EWDTS (2008)
Andrei Karatkevich, Grzegorz Andrzejewski
Hierarchical Decomposition of Petri Nets for Analysis and Design of Digital Microsystems. Int. J. Comput. 5 (1) (2006)
Andrei Karatkevich
Deadlock Analysis in Statecharts. FDL (2003)
Andrei Karatkevich, Arkadij Zakrevskij
Analysis of Petri Nets by Means of Concurrent Simulation. PARELEC (2002)
Arkadij Zakrevskij, Andrei Karatkevich, Marian Adamski
A Method of Analysis of Operational Petri Nets. ACS (2001)