A NovelMetho-dology2025A Novel Methodology to Deadlock Analysis and Avoidance for Automatic Control Systems Based on Petri NetXuanxuan Guan -, Wangyu Wu, Yao NiProcessesDOI