Grzegorz Bazydło

Papers

Total Citations

H-Index

About

Dr. Grzegorz Bazydło is a leading researcher in the formal verification and analysis of cyber-physical systems, with a primary focus on Petri net theory. His work centers on ensuring the reliability and safety of complex, concurrent systems through rigorous mathematical modeling. Dr. Bazydło’s major contribution lies in the development of novel algorithms for liveness analysis—a critical property that guarantees a system will not enter a deadlock state. His highly cited 2022 paper, "Reachability tree in liveness analysis of Petri net-based cyber-physical systems," proposes two groundbreaking algorithms: one for efficiently constructing the reachability tree of a Petri net, and another for verifying liveness within that structure. This work addresses a fundamental challenge in system verification, offering scalable solutions for real-world applications. With 4 citations to this key paper, his research is gaining traction among peers in formal methods and embedded systems. Dr. Bazydło’s achievements are particularly notable for bridging theoretical advances in Petri net analysis with practical verification tools, making his work essential reading for students and researchers tackling the growing complexity of modern cyber-physical systems.