An Algorithm for Mining Indirect Dependencies From Loop-Choice-Driven Loop Structure via Petri Nets[J] IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS Sun, Hongwei Liu, Wei Qi, Liang Ren, Xiaojun Du, Yuyue