Andrei Karatkevich

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