A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT. KJMS. 2025;1(2):Page 1-13. Accessed June 10, 2026. https://mathsaccess.org.ng/index.php/kjms/article/view/16