معرفی
Andrei Karatkevich, PhD, DSc, Eng., is a Professor at the Department of Applied Informatics, within the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering at AGH University of Science and Technology in Kraków, Poland. His research focuses on Petri nets, control systems, and concurrency analysis in manufacturing and cyber-physical systems.
His work includes systematic studies on deadlock detection and recovery, state machine decomposition, and formal verification of concurrent systems. Articles emphasize applications in flexible manufacturing, embedded control, and real-time systems, with methodological contributions to SM-covers, reachability graph optimization, and logic controller synthesis.
۰مقاله منتشرشده
