A Model Repair Approach Based on Petri Nets by Constructing Free-Loop Structures. - Zhaoyang He; Yuyue Du; Liang Qi 001; Haisen Du (IEEE Access, 2019)