Concepedia

Andrei Karatkevich

AK

Statistics

Publications

9

Citations

245

H-Index

9

Active since

2004

Affiliations

University of Zielona Góra(Current)

AGH University of Krakow

Andrei Karatkevich is an author at University of Zielona Góra specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsComputer EngineeringFormal VerificationAutomationProcess ControlVerificationControl Systems

Publications per year

2004–2021

9

Publications

9

Challenges in Application of Petri Nets in Manufacturing Systems

Iwona Grobelna, Andrei Karatkevich · Electronics · 2021 · 59 citations · Full text

Petri Net, Engineering, Industrial Engineering +20

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

Remigiusz Wiśniewski, Andrei Karatkevich, Marian Adamski et al. · IEEE Transactions on Control Systems Technology · 2017 · 47 citations · Full text

Comparability Graphs, Petri Net, Engineering +20

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets

Remigiusz Wiśniewski, Iwona Grobelna, Andrei Karatkevich · Sensors · 2020 · 27 citations · Full text

Petri Net, Ordinary Petri Nets, Deterministic System +14

Application of comparability graphs in decomposition of Petri nets

Remigiusz Wiśniewski, Andrei Karatkevich, Marian Adamski et al. · 2014 · 24 citations

Mathematical Programming, Comparability Graphs, Petri Net +20

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

Andrei Karatkevich, Remigiusz Wiśniewski · IEEE Transactions on Systems Man and Cybernetics Systems · 2019 · 24 citations

Petri Net, Engineering, Safe Petri Nets +12

Rows per page

1–5 of 9