An Algorithm for Mining Indirect Dependencies From Loop-Choice-Driven Loop Structure via Petri Nets | IEEE Journals & Magazine | IEEE Xplore