Discovering Directly-Follows Graph Model for Acyclic Processes. - Nikita Shaimov; Irina A. Lomazova; Alexey A. Mitsyuk (CoRR, 2025)