Andrei Karatkevich

According to our database, Andrei Karatkevich authored at least 17 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment.

Marcin Szpyrka, Jaroslaw Baniewicz, Andrei Karatkevich

IEEE Access, 2022

A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems.

Andrei Karatkevich, Iwona Grobelna

Proceedings of the 17th International Conference on Control, 2022

2020

A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets.

Andrei Karatkevich, Remigiusz Wisniewski

IEEE Trans. Syst. Man Cybern. Syst., 2020

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.

Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich

Sensors, 2020

2019

Decomposition of distributed edge systems based on the Petri nets and linear algebra technique.

Remigiusz Wisniewski, Andrei Karatkevich, Lukasz Stefanowicz, Marcin Wojnakowski

J. Syst. Archit., 2019

Minimization of SM-Covers of Petri Net Specifications of Control Systems.

Andrei Karatkevich, Lukasz Stefanowicz

Proceedings of the 26th International Conference on Mixed Design of Integrated Circuits and Systems, 2019

2018

Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs.

Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Anikó Costa, Luís Gomes

IEEE Trans. Control. Syst. Technol., 2018

2014

Application of comparability graphs in decomposition of Petri nets.

Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Daniel Kur

Proceedings of the 7th International Conference on Human System Interactions, 2014

FPGA-based embedded Logic Controllers.

Marek Wegrzyn, Marian Adamski, Andrei Karatkevich, Alfredo Rosado Muñoz

Proceedings of the 7th International Conference on Human System Interactions, 2014

Deadlock detection in Petri nets: One trace for one deadlock?

Andrei Karatkevich, Iwona Grobelna

Proceedings of the 7th International Conference on Human System Interactions, 2014

2013

Detection of Possible Frozen States in Communicating UML State Machines.

Andrei Karatkevich, Grzegorz Labiak

Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013

2011

Petri Net based Approach to Test Bench Constructing for Datapath.

Andrei Karatkevich

Proceedings of the PECCS 2011, 2011

2008

On macroplaces in Petri nets.

Andrei Karatkevich

Proceedings of the 2008 East-West Design & Test Symposium, 2008

2006

Hierarchical Decomposition of Petri Nets for Analysis and Design of Digital Microsystems.

Andrei Karatkevich, Grzegorz Andrzejewski

Int. J. Comput., 2006

2003

Deadlock Analysis in Statecharts.

Andrei Karatkevich

Proceedings of the Forum on specification and Design Languages, 2003

2002

Analysis of Petri Nets by Means of Concurrent Simulation.

Andrei Karatkevich, Arkadij Zakrevskij

Proceedings of the 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 2002

2001

A Method of Analysis of Operational Petri Nets.

Arkadij Zakrevskij, Andrei Karatkevich, Marian Adamski

Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001