Petri Net Unfolding-Based Detection and Replay of Program Deadlocks. - Faming Lu; Fenghua Lv; Minghao Cui; Yunxia Bao; Qingtian Zeng (IEEE Access, 2024)