A Method of Analysis of Operational Petri Nets. - Arkadij Zakrevskij; Andrei Karatkevich; Marian Adamski (ACS, 2001)

Analysis of Petri Nets by Means of Concurrent Simulation. - Andrei Karatkevich; Arkadij Zakrevskij (PARELEC, 2002)

Deadlock Analysis in Statecharts. - Andrei Karatkevich (FDL, 2003)

Hierarchical Decomposition of Petri Nets for Analysis and Design of Digital Microsystems. - Andrei Karatkevich; Grzegorz Andrzejewski (Int. J. Comput., 2006)

On macroplaces in Petri nets. - Andrei Karatkevich (EWDTS, 2008)

Petri Net based Approach to Test Bench Constructing for Datapath. - Andrei Karatkevich (PECCS, 2011)

Detection of Possible Frozen States in Communicating UML State Machines. - Andrei Karatkevich; Grzegorz Labiak (PDeS, 2013)

Deadlock detection in Petri nets: One trace for one deadlock? - Andrei Karatkevich; Iwona Grobelna (HSI, 2014)

FPGA-based embedded Logic Controllers. - Marek Wegrzyn; Marian Adamski; Andrei Karatkevich; Alfredo Rosado Muñoz (HSI, 2014)

Application of comparability graphs in decomposition of Petri nets. - Remigiusz Wisniewski; Andrei Karatkevich; Marian Adamski; Daniel Kur (HSI, 2014)

Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. - Remigiusz Wisniewski; Andrei Karatkevich; Marian Adamski; Anikó Costa; Luís Gomes 001 (IEEE Trans. Control. Syst. Technol., 2018)

Minimization of SM-Covers of Petri Net Specifications of Control Systems. - Andrei Karatkevich; Lukasz Stefanowicz (MIXDES, 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)

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets. - Remigiusz Wisniewski; Iwona Grobelna; Andrei Karatkevich (Sensors, 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)

A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems. - Andrei Karatkevich; Iwona Grobelna (ICARCV, 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)

Deadlock-Prone Circuits in S3PR Petri Nets. - Andrei Karatkevich; Iwona Grobelna (EUROCON, 2025)