Andrei Karatkevich

Orcid: 0000-0002-5011-8248

According to our database1, Andrei Karatkevich authored at least 16 papers between 2001 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems.
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.
IEEE Trans. Syst. Man Cybern. Syst., 2020

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

2019
Decomposition of distributed edge systems based on the Petri nets and linear algebra technique.
J. Syst. Archit., 2019

Minimization of SM-Covers of Petri Net Specifications of Control Systems.
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.
IEEE Trans. Control. Syst. Technol., 2018

2014
Application of comparability graphs in decomposition of Petri nets.
Proceedings of the 7th International Conference on Human System Interactions, 2014

FPGA-based embedded Logic Controllers.
Proceedings of the 7th International Conference on Human System Interactions, 2014

Deadlock detection in Petri nets: One trace for one deadlock?
Proceedings of the 7th International Conference on Human System Interactions, 2014

2013
Detection of Possible Frozen States in Communicating UML State Machines.
Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013

2011
Petri Net based Approach to Test Bench Constructing for Datapath.
Proceedings of the PECCS 2011, 2011

2008
On macroplaces in Petri nets.
Proceedings of the 2008 East-West Design & Test Symposium, 2008

2003
Deadlock Analysis in Statecharts.
Proceedings of the Forum on specification and Design Languages, 2003

2002
Analysis of Petri Nets by Means of Concurrent Simulation.
Proceedings of the 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 2002

2001
A Method of Analysis of Operational Petri Nets.
Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001


  Loading...