An Algorithm for Mining Indirect Dependencies from Loop-Choice-Driven Loop Structure Via Petri Nets | AMiner