Top-Down Process Mining From Multi-Source Running Logs Based on Refinement of Petri Nets | IEEE Journals & Magazine | IEEE Xplore